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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.