View-based Propagator Derivation