Properties of Substitutions and Unifications

Elmar Eder. Properties of Substitutions and Unifications. In Bernd Neumann, editor, GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983. Volume 76 of Informatik-Fachberichte, pages 197-206, Springer, 1983.

Abstract

Abstract is missing.