Bifunctional Porphyrin Catalysts for the Synthesis of Cyclic Carbonates from Epoxides and CO2: Structural Optimization and Mechanistic Study | Synapse