ByNobleID
    On Complexity of Internal and External Equivalence Checking | NobleID