| Information and Computation
0890-5401 | 1994 | Dimopoulos, Yannis
Magirou, Vangelis | | A Graph Theoretic Approach to Default Logic
In: Information and Computation [112], 239-256 | |
| Journal of Logic Programming
0743-1066 | 1995 | Hanus, Michael | | Analysis of Residuating Logic Programs
In: Journal of Logic Programming [24], 219-245 | |
| Journal of Logic Programming
0743-1066 | 1994 | Chadha, Ritu
Plaisted, David A. | | Correctness of unification without occur check in Prolog
In: Journal of Logic Programming [18], 99-122 | |
| Parallel Processing Letters |
| |