Your search returned the following 9 documents:

9. A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae
   Renate A. Schmidt and Ullrich Hustadt
   In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, USA, July, 2003, 412-426
   
8. Superposition modulo a Shostak Theory
   Harald Ganzinger, Thomas Hillenbrand, and Uwe Waldmann
   In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, Florida, July, 30 - August, 2, 2003, 182-196
   [PS: Download: _03CADE.2.ps]
   
7. 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]
   
6. The New WALDMEISTER Loop at Work
   Jean-Marie Gaillourdet, Thomas Hillenbrand, Bernd Löchner, and Hendrik Spies
   In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, Florida, July, 30 - August, 2, 2003, 317-321
   [PS: Download: pwm.ps]
   
5. Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
   Hans de Nivelle
   In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, USA, July 2003, 2003, 365-379
   
4. AC-compatible Knuth-Bendix Order
   Konstantin Korovin and Andrei Voronkov
   In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, Florida, July, 30 - August, 2, 2003, 47-59
   
   
3. A Topography of Labelled Modal Logics
   David A. Basin, Seán Matthews, and Luca Viganò
   In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), 1996, 75-92
   
2. Description Logics for Natural Language Processing
   Detlef Fehrer, Ullrich Hustadt, Manfred Jaeger, Andreas Nonnengart, Hans Jürgen Ohlbach, Renate A. Schmidt, Christoph Weidenbach, and Emil Weydert
   In: International Workshop on Description Logics '94, Bonn, Germany, May 28-29, 1994, 1994, 80-84
   
1. Do we need the closed-world assumption in knowledge representation?
   Ullrich Hustadt
   In: Working Notes of the KI'94 Workshop: Reasoning about Structured Objects: Knowledge Representation meets Databases (KRDB'94), Saarbrücken, Germany, September 20-21, 1994, 1994, 24-26