| 1991 | ||
|---|---|---|
| 4 | Alexander Bockmayr, Christoph Brzoska, Peter Deussen, Igor Varsek: KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung. Inform., Forsch. Entwickl. 6(3): 128-140 (1991) | |
| 1987 | ||
| 3 | Igor Varsek: Taxonomical Reasoning in Logic Programming. ÖGAI 1987: 145-156 | |
| 2 | Martin Huber, Igor Varsek: Extended Prolog for Order-Sorted Resolution. SLP 1987: 34-43 | |
| 1986 | ||
| 1 | Igor Varsek: Übersetzung logischer Programmiersprachen. GI Jahrestagung (1) 1986: 212-226 | |
| 1 | Alexander Bockmayr | [4] |
| 2 | Christoph Brzoska | [4] |
| 3 | Peter Deussen | [4] |
| 4 | Martin Huber | [2] |