Your search returned the following 18 documents:

18. Theory Instantiation
    Harald Ganzinger and Konstantin Korovin
    In: 13th Conference on Logic for Programming Artificial Intelligence Reasoning (LPAR'06), Phnom Penh, Cambodia, 2006, 497-511
    
17. Theory Instantiation
    Harald Ganzinger and Konstantin Korovin
    In: Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, 2006, 497-511
    
16. Integration of a Software Model Checker into Isabelle
    Matthias Daum, Stefan Maus, Norbert Schirmer, and Mohammed Nassim Seghir
    In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, 2005, 381-395
    
    
15. A New Clausal Class Decidable by Hyperresolution
    Lilia Georgieva, Ullrich Hustadt, and Renate A. Schmidt
    In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, 2002, 260-274
    
14. Shostak Light
    Harald Ganzinger
    In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, 2002, 332-346
    [PDF: Download: _02CADE.pdf]
    
13. The Next WALDMEISTER Loop
    Thomas Hillenbrand and Bernd Löchner
    In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, 2002, 486-500
    [PS: Download: wmloop.ps]
    
12. SPASS Version 2.0
    Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobalt, and Dalibor Topić
    In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, Kopenhagen, Denmark, 2002, 275-279
    [PS: Download: spass2002.ps]
    
11. Combining Superposition, Sorts and Splitting
    Christoph Weidenbach
    In: Handbook of Automated Reasoning, 2001, 1965-2013
    
10. Computing small clause normal forms
    Andreas Nonnengart and Christoph Weidenbach
    In: Handbook of Automated Reasoning, 2001, 335-367
    
9. Encoding two-valued non-classical logics in classic logic
   Andreas Nonnengart, Hans Jürgen Ohlbach, and Dov M. Gabbay
   In: Handbook of Automated Reasoning, 2001, 1403-1486
   
8. First-Order Atom Definitions Extended
   Bijan Afshordel, Thomas Hillenbrand, and Christoph Weidenbach
   In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), Havanna, Cuba, December, 3 - December, 7, 2001, 309-319
   [PS: Download: AtomFinal.ps]
   
7. Resolution Decision Procedures
   Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, and Tanel Tammet
   In: Handbook of Automated Reasoning, 2001, 1793-1849
   
6. Solving numerical constraints
   Alexander Bockmayr and V. Weispfenning
   In: Handbook of Automated Reasoning, 2001, 751-842
   
5. Splitting through New Proposition Symbols
   Hans de Nivelle
   In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), Havana, Cuba, December 3-7, 2001, 2001, 172-185
   
4. On the Alternation-free Horn mu-calculus
   Jean-Marc Talbot
   In: Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR-2000), La Reunion, France, November, 6 - November,10, 2000, 418-435
   
3. Unification in Order-Sorted Logic with Term Declarations
   Rolf Socher-Ambrosius
   In: Proceedings of the 4th Conference on Logic Programming and Automated Reasoning (LPAR-93), St. Petersburg, Russia, July, 13-20, 1993, 301-308
   
2. Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
   Uwe Waldmann
   In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), Tbilisi, Georgia, September 6-10, 1999, 131-147. Note: %Earlier version: Technical Report MPI-I-1999-2-003, Max-Planck-Institut für Informatik, Saarbrücken
   
1. Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99)
   Harald Ganzinger, David McAllester, and Andrei Voronkov(Ed.)
   Lecture Notes in Artificial Intelligence. 1705, , Springer, Berlin, 1999. Note: Earlier version: Technical Report MPI-I-1999-2-003, Max-Planck-Institut für Informatik, Saarbrücken