Extending the Warren Abstract Machine to Many-sorted PROLOG

@techreport{pub2390,
    author = {

Bürckert, Hans-Jürgen
},
    title = {Extending the Warren Abstract Machine to Many-sorted PROLOG},
    series = {SEKI-Memo},
    year = {1985},
    volume = {SEKI-85-07},
    institution = {Universität Kaiserslautern}
}