Publication

Extending the Warren Abstract Machine to Many-sorted PROLOG

Hans-Jürgen Bürckert

SEKI-Memo Universität Kaiserslautern SEKI-Memo SEKI-85-07 1985.

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