 | 1996 |
6 |  | Stefan Benzschawel:
Implementierung einer effizienten Anfrageauswertung für ein deduktives Datenbanksystem.
Infix Verlag, St. Augustin, Germany 1996 |
| 1994 |
5 |  | Bernd Walter,
Stefan Benzschawel:
Complex Structures in (Deductive) Database Systems: Variables and Open Property Sets.
IS/KI 1994: 1-21 |
4 |  | Stefan Benzschawel:
Another Method for Compiling Datalog.
WLP 1994: 57-60 |
| 1991 |
3 |  | Stefan Benzschawel,
Erich Gehlen,
Michael Ley,
Thomas Ludwig,
Albert Maier,
Bernd Walter:
LILOG-DB: Database Support for Knowledge Based Systems.
Text Understanding in LILOG 1991: 501-594 |
2 |  | Thomas Ludwig,
Stefan Benzschawel,
Erich Gehlen:
Differential Closure Computation for General Horn-Clause Queries
IWBS Report 201: (1991) |
1 |  | Stefan Benzschawel:
Transitive Closure: New Aspects of an Old Theme
IWBS Report 203: (1991) |