Skip to main content Skip to main navigation

Publikation

Some relationship Between Unification, Restricted Unification, and Matching

Hans-Jürgen Bürckert
In: Jörg Siekmann (Hrsg.). Proceedings of 8th International Conference on Automated Deduction (CADE-86). International Conference on Automated Deduction (CADE-1986), 8th, July 27 - August 1, Oxford, United Kingdom, Pages 514-524, Lecture Notes in Computer Science (LNCS), Vol. 230, Springer, 1986.