Publication
In: Jörg Siekmann (editor). 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) 230 Springer 1986.
@inproceedings{pub2362, author = { Bürckert, Hans-Jürgen }, editor = { Siekmann, Jörg }, title = {Some relationship Between Unification, Restricted Unification, and Matching}, booktitle = {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}, series = {Lecture Notes in Computer Science (LNCS)}, year = {1986}, volume = {230}, pages = {514--524}, publisher = {Springer} }
© DFKI, 2022