| |
| 1991 | ||
|---|---|---|
| 3 | Christoph Beierle, Gregor Meyer, Heiner Semle: Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution. ISLP 1991: 272-286 | |
| 2 | Christoph Beierle, Gregor Meyer, Heiner Semle: A Brief Description of the PROTOS-L System. PDK 1991: 402-404 | |
| 1 | Christoph Beierle, Gregor Meyer, Heiner Semle: Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution IWBS Report 181: (1991) | |
| 1 | Christoph Beierle | [1] [2] [3] |
| 2 | Gregor Meyer | [1] [2] [3] |