Extending the Warren abstract machine to polymorphic order-sorted resolution - Beierle, Christoph 1954-; Meyer, Gregor; Semle, Heiner (Institut für Wissensbasierte Systeme <Heidelberg>: IWBS-Report, 1991)