Some basic notions of first-order unification theory.
Series: Bericht (Universität Karlsruhe. Fakultät für Informatik) -- 15/83
Publisher: Fakultät für Informatik, Universität Karlsruhe
Published: 1983
Place of publication: (Karlsruhe)
Language: eng
Number of pages: 45