| Journal of Automated Reasoning
0168-7433 | 1997 | Weidenbach, Christoph | | SPASS Version 0.49
In: Journal of Automated Reasoning [18], 247-252 | |
| Journal of Automated Reasoning
0168-7433 | 1996 | Basin, David A.
Walsh, Toby | | A Calculus for and Termination of Rippling
In: Journal of Automated Reasoning [16], 147-180 | |
| Journal of Automated Reasoning
0168-7433 | 1996 | Dimopoulos, Yannis | | On Computing Logic Programs
In: Journal of Automated Reasoning [17], 259-289 | |
| Journal of Automated Reasoning
0168-7433 | 1996 | Kraan, Ina
Basin, David A.
Bundy, Alan | | Middle-out reasoning for synthesis and induction
In: Journal of Automated Reasoning [16], 113-145 | |
| Journal of Automated Reasoning
0168-7433 | 1995 | Ohlbach, Hans Jürgen
Weidenbach, Christoph | | A Note on Assumptions about Skolem Functions
In: Journal of Automated Reasoning [15], 267-275 | |
| Journal of Automated Reasoning
0168-7433 | 1992 | Socher-Ambrosius, Rolf | | How to Avoid the Derivation of Redundant Clauses in Reasoning Systems
In: Journal of Automated Reasoning [9], 325-336 | |
| Journal of Automated Reasoning
0168-7433 | 1991 | Socher-Ambrosius, Rolf | | Optimizing the Clausal Normal Form Transformation
In: Journal of Automated Reasoning [7], 325-336 | |
| 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 |
| |