What You Always Wanted to Know about Rigid E-Unification

• 1 January 1998
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 20  (1/2) , 47-80
• https://doi.org/10.1023/a:1005996623714

Abstract

Keywords

• MATRIX BASED
• TABLEAU METHOD
• SIMULTANEOUS RIGID
• RIGID E UNIFICATION
• PROCEDURE