Transforming Horn Clauses for Forward Reasoning. - Knut Hinkelmann; Martin Harm; Thomas Labisch (PDK, 1991)

Eine bidirektionale Maschine für die Auswertung logischer Programme. - Knut Hinkelmann; Thomas Labisch (WLP, 1993)