Transform the Multilevel's Structural Formulas Into Reduced Form
structuralToReduced(f)
f
a list of formulas
a formula in reduced form
Ferdinand Alimadhi, Kosuke Imai, and Olivia Lau