| Journal Full Title / ISSN | Year | Author/Editor | | Title | |
| 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 and Computation
0955-792X | 2000 | Bugliesi, Michele
Delzanno, Giorgio
Liquori, Luigi
Martelli, Maurizio | | Object Calculi in Linear Logic
In: Journal of Logic and Computation [10], 75-104 | |
| Journal of Logic and Computation
0955-792X | 1997 | Basin, David A.
Matthews, Seán
Viganò, Luca | | Labelled Propositional Modal Logics: Theory and Practice
In: Journal of Logic and Computation [7], 685-717 | |
| Journal of Logic and Computation
0955-792X | 1997 | Ohlbach, Hans Jürgen
Schmidt, Renate A. | | Functional Translation and Second-Order Frame Properties of Modal Logics
In: Journal of Logic and Computation [7], 581-603 | |
| Journal of Logic and Computation
0955-792X | 1996 | Basin, David A.
Matthews, Seán | | Adding Metatheoretic facilities to First-order Theories
In: Journal of Logic and Computation [6], 835-849 | |
| Journal of Logic and Computation
0955-792X | 1994 | Bachmair, Leo
Ganzinger, Harald | | Rewrite-based equational theorem proving with selection and simplification
In: Journal of Logic and Computation [4], 217-247 | |
| Journal of Logic and Computation
0955-792X | 1991 | Ohlbach, Hans Jürgen | | Semantics Based Translation Methods for Modal Logics
In: Journal of Logic and Computation [1], 691-746 | |
| J. Logic Lang. Inf. |
| |
| Journal of Logic, Language and Information
0925-8531 | 1998 | Basin, David A.
Matthews, Seán
Viganò, Luca | | Labelled Modal Logics: quantifiers
In: Journal of Logic, Language and Information [7], 237-263 | |
| J. Log. Program. |
| |
| 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 | |
| Journal of Logic Programming
0743-1066 | 1994 | Hanus, Michael | | The Integration of Functions into Logic Programming: From Theory to Practice
In: Journal of Logic Programming [19 & 20], 583-628 | |
| New Gener. Comput. |
| |
| New Generation Computing
0288-3635 | 1998 | Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan | | How to realize LSE narrowing
In: New Generation Computing [16], 397-434 | |
| New Generation Computing
0288-3635 | 1995 | Hanus, Michael | | Compile-Time Analysis of Nonlinear Constraints in CLP(R)
In: New Generation Computing [13], 155-186 | |
| Parallel Processing Letters |
| |
| Parallel Processing Letters
0129-6264 | 1996 | Chaudhuri, Shiva
Dimopoulos, Yannis
Zaroliagis, Christos | | On the Parallel Complexity of Acyclic Logic Programs
In: Parallel Processing Letters [6], 223-230 | |
| |
| International Journal on Software Tools for Technology Transfer
- | 2006 | Jensen, Kurt
Podelski, Andreas | | Tools and algorithms for the construction and analysis of systems
In: International Journal on Software Tools for Technology Transfer [8], 177-179 | |
| |
| Studia Logica
0039-3215 | 1998 | Basin, David A.
Matthews, Seán
Viganò, Luca | | Natural Deduction for Non-Classical Logics
In: Studia Logica [60], 119-160 | |
| |
| ACM Transactions in Embedded Computing Systems
1539-9087 | 2007 | Ratschan, Stefan
She, Zhikun | | Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: ACM Transactions in Embedded Computing Systems [6], 1-23 | |
| |