ByNobleID
    On Minimum Representations of Matched Formulas (Extended Abstract) | NobleID