ByNobleID
    Inductive Inference of Term Rewriting Systems Realizing Algebras. | NobleID