Publication

Unification Theory

Hans-Jürgen Bürckert

In: Karl-Hans Bläsius, Hans-Jürgen Bürckert (editor). Deduction Systems in Artificial Intelligence. Pages 141-153 Ellis Horwood Series in Artificial Intelligence Ellis Horwood 1989.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz