| Journal Full Title / ISSN | Year | Author/Editor | | Title | |
| Acta Inform. |
| |
| Acta Informatica
0001-5903 | 1996 | Krishna Rao, M. R. K. | | Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting systems
In: Acta Informatica [33], 595-606 | |
| Ann. Math. Artif. Intell. |
| |
| Annals of Mathematics and Artificial Intelligence
1012-2443 | 1998 | Blackburn, Patrick
Tzakova, Miroslava | | Hybridizing Concept Languages
In: Annals of Mathematics and Artificial Intelligence [24], 23-49 | |
| Annals of Mathematics and Artificial Intelligence
1012-2443 | 1996 | Weidenbach, Christoph | | Unification in Sort Theories and its Applications
In: Annals of Mathematics and Artificial Intelligence [18], 261-293 | |
| |
| Annals of Operations Research
0254-5330 | 1998 | Barth, Peter
Bockmayr, Alexander | | Modelling Discrete Optimisation Problems in Constraint Logic Programming
In: Annals of Operations Research [81], 467-496 | |
| Appl. Algebra Eng. Commun. Comput. |
| |
| Applicable Algebra in Engineering, Communication and Computing (AAECC)
0938-1287 | 1994 | Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe | | Refutational Theorem Proving for Hierarchic First-Order Theories
In: Applicable Algebra in Engineering, Communication and Computing (AAECC) [5], 193-212 | |
| |
| Artificial Intelligence
0004-3702 | 1994 | Lee, Shie-Jue
Plaisted, David A. | | Problem solving by searching for models with a theorem prover
In: Artificial Intelligence [69], 205-233 | |
| |
| Formal Aspects of Computing
0934-5043 | 1994 | Brink, Chris
Britz, Katarina
Schmidt, Renate A. | | Peirce Algebras
In: Formal Aspects of Computing [6], 339-358 | |
| |
| Fundamenta Informaticae
0169-2968 | 1995 | Bockmayr, Alexander
Krischer, Stefan
Werner, Andreas | | Narrowing strategies for arbitrary canonical systems
In: Fundamenta Informaticae [24], 125-155 | |
| |
| 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 | |
| |
| Information Processing Letters
0020-0190 | 1998 | Charatonik, Witold | | An Undecidable Fragment of the Theory of Set Constraints
In: Information Processing Letters [68], 147-151 | |
| Information Processing Letters
0020-0190 | 1998 | Waldmann, Uwe | | Extending reduction orderings to ACU-compatible reduction orderings
In: Information Processing Letters [67], 43-49 | |
| Information Processing Letters
0020-0190 | 1994 | Basin, David A. | | A Term Equality Problem Equivalent to Graph Isomorphism
In: Information Processing Letters [51], 61-66 | |
| |
| Journal of Automated Reasoning
0168-7433 | 1999 | Madden, Peter
Bundy, Alan
Smaill, Alan | | Recursive Program Optimization Through Inductive Synthesis Proof Transformation
In: Journal of Automated Reasoning [22], 65-115 | |
| Journal of Automated Reasoning
0168-7433 | 1998 | Weidenbach, Christoph
Meyer, Christoph
Cohrs, Christian
Engel, Thorsten
Keen, Enno | | SPASS V0.77
In: Journal of Automated Reasoning [21], 113-113 | |
| Journal of Automated Reasoning
0168-7433 | 1998 | Wu, Jinzhao
Liu, Zhuojun | | Well-Behaved Inference Rules for First-Order Theorem Proving
In: Journal of Automated Reasoning [21], 381-400 | |
| 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 | |