| |
| 1993 | ||
|---|---|---|
| 2 | Knut Hinkelmann, Thomas Labisch: Eine bidirektionale Maschine für die Auswertung logischer Programme. WLP 1993: 47-50 | |
| 1991 | ||
| 1 | Knut Hinkelmann, Martin Harm, Thomas Labisch: Transforming Horn Clauses for Forward Reasoning. PDK 1991: 417-419 | |
| 1 | Martin Harm | [1] |
| 2 | Knut Hinkelmann | [1] [2] |