Your search returned the following 13 documents:

13. Superposition with equivalence reasoning and delayed clause normal form transformation
    Harald Ganzinger and Jürgen Stuber
    Information and Computation 199 (1-2): 3-23, 2005
    
12. Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation
    Harald Ganzinger and Jürgen Stuber
    In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, Florida, 666, 2003, 335-349
    [PS: Download: _03CADE.1.ps]
    
11. Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems
    Jürgen Stuber
    In: Proceedings of the 11th International Conference Rewriting Techniques and Applications (RTA-00), Norwich, UK, July 10-12, 2000, 2000, 229-245
    
10. Superposition Theorem Proving for Commutative Algebraic Theories
    Jürgen Stuber
    Doctoral dissertation, Universität des Saarlandes, 1999
    [PS: Download: Stuber1999Diss.ps.gz]
    
9. Theory path orderings
   Jürgen Stuber
   In: Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), Trento, Italy, July 2, 1999 to July 4, 1999, 1999, 148-162
   
8. Superposition theorem proving for abelian groups represented as integer modules
   Jürgen Stuber
   Theoretical Computer Science 208 (1/2): 149-177, 1998
   
7. Superposition theorem proving for commutative rings
   Jürgen Stuber
   In: Automated Deduction - A Basis for Applications. Volume III. Applications, 1998, 31-55
   
6. Strong Symmetrization, Semi-Compatibility of Normalized Rewriting and First-Order Theorem Proving
   Jürgen Stuber
   In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), Schloss Hagenberg by Linz, Austria, October 27-28, 1997, 1997, 125-129
   
5. Superposition Theorem Proving for Abelian Groups Represented as Integer Modules
   Jürgen Stuber
   In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, USA, July 1996, 1996, 33-47
   
4. Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
   Leo Bachmair, Harald Ganzinger, and Jürgen Stuber
   In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May/June 1994, 1995, 1-29
   
3. Computing Stable Models by Program Transformation
   Jürgen Stuber
   In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), Santa Margherita Ligure, Italy, June 13-18, 1994, 1994, 58-73
   
2. Inductive Theorem Proving for Horn Clauses
   Jürgen Stuber
   Master's thesis, Universität Dortmund, 1991
   [PS: Download: stuber.ps]
   
1. Inductive theorem proving by consistency for first-order clauses
   Harald Ganzinger and Jürgen Stuber
   In: Informatik - Festschrift zum 60. Geburtstag von Günter Hotz, 1992, 441-462. Note: Also in Proc.~CTRS'92, LNCS~656, pp.~226--241