Keyword:The most general substitution

Publications
Unification as a Simple Theorem Prover Murat Sinan Aygün EasyChair Preprint 15904
Marking Solvable Variables Murat Sinan Aygün EasyChair Preprint 6339