| 1990 | ||
|---|---|---|
| 2 | Ulrike Griefahn, Stefan Lüttringhaus: Top-Down Integrity Constraint Checking for Deductive Databases. ICLP 1990: 130-144 | |
| 1988 | ||
| 1 | Stefan Lüttringhaus: An Interpreter with Lazy Evaluation for Prolog with Functions. CSL 1988: 199-225 | |
| 1 | Ulrike Griefahn | [2] |