An Interpreter with Lazy Evaluation for Prolog with Functions. - Stefan Lüttringhaus (CSL, 1988)

Top-Down Integrity Constraint Checking for Deductive Databases. - Ulrike Griefahn; Stefan Lüttringhaus (ICLP, 1990)