On Minimum Representations of Matched Formulas

Open in new window