Computer-Aided Mechanism Elucidation of Acetylene Hydrocarboxylation to Acrylic Acid Based on a Novel Union of Empirical and Formal Methods | doi.page