Elimination of Equality via Transformation with Ordering Constraints
Max-Planck-Institut für Informatik - Research Report: Number MPI-I-97-2-012
Bachmair, L. and Ganzinger, H. and Voronkov, A.
Strict Basic Superposition and Chaining
Max-Planck-Institut für Informatik - Research Report: Number MPI-I-97-2-011
Bachmair, L. and Ganzinger, H.
A Theory of Resolution
Max-Planck-Institut für Informatik - Research Report: Number MPI-I-97-2-005
Bachmair, L. and Ganzinger, H.
Theorem Proving in Cancellative Abelian Monoids
Max-Planck-Institut für Informatik - Research Report: Number MPI-I-96-2-001
Ganzinger, H. and Waldmann, U.
Ordered Chaining Calculi for First-Order Theories of Binary Relations
Max-Planck-Institut für Informatik - Research Report: Number MPI-I-95-2-009
Bachmair, L. and Ganzinger, H.
Automated Complexity Analysis Based on Ordered Resolution
Max-Planck-Institut für Informatik - Research Report: Number MPI-I-95-2-006
Basin, D. and Ganzinger, H.
[an error occurred while processing this directive]