Universal Unification and Regular Equational ACFM Theories

Jörg H. Siekmann, Peter Szabó. Universal Unification and Regular Equational ACFM Theories. In Patrick J. Hayes, editor, Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI 81), Vancouver, BC, Canada, August 1981. pages 532-538, William Kaufmann, 1981.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.