Extending the Warren Abstract Machine to Polymorphic Order-sorted Resolution (1991)

by C Beierle, G Meyer, H Semele