| |
| 1990 | ||
|---|---|---|
| 3 | Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen: Equivalence of Propositional Prolog Programs. J. Autom. Reasoning 6(3): 319-335 (1990) | |
| 1989 | ||
| 2 | Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen: Inconsistency of Production Systems. Data Knowl. Eng. 3(4): 245-260 (1989) | |
| 1988 | ||
| 1 | Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen: Loop Detection in Propositional Prolog Programs. CSL 1988: 148-165 | |
| 1 | Hans Kleine Büning | [1] [2] [3] |
| 2 | Ulrich Löwen | [1] [2] [3] |