Special Cases and Substitutes for Rigid E-Unification

David A. Plaisted. Special Cases and Substitutes for Rigid E-Unification. Appl. Algebra Eng. Commun. Comput., 10(2):97-152, 2000. [doi]

Authors

David A. Plaisted

This author has not been identified. Look up 'David A. Plaisted' in Google