ByNobleID
    Normal Forms and Reduction for Theories of Binary Relations | NobleID