| Information and Computation
0890-5401 | 1998 | Charatonik, Witold | | Set Constraints in Some Equational Theories
In: Information and Computation [142], 40-75 | |
| Information and Computation
0890-5401 | 1995 | Bachmair, Leo
Ganzinger, Harald
Lynch, Christopher
Snyder, Wayne | | Basic Paramodulation
In: Information and Computation [121], 172-192 | |
| Information and Computation
0890-5401 | 1994 | Dimopoulos, Yannis
Magirou, Vangelis | | A Graph Theoretic Approach to Default Logic
In: Information and Computation [112], 239-256 | |
| Parallel Processing Letters |
| |