• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 30 matches

• 1997
• 
  Geoffrey D. Alexander:
  CLIN-E - Smallest Instance First Hyper-Linking. J. Autom. Reason. 18(2): 177-182 (1997)
• 
  Grigoris Antoniou, Elmar Langetepe:
  A Correct Logic Programming Computation of Default Logic Extensions. J. Autom. Reason. 18(1): 25-46 (1997)
• 
  Heng Chu, David A. Plaisted:
  CLIN-S - A Semantically Guided First-Order Theorem Prover. J. Autom. Reason. 18(2): 183-188 (1997)
• 
  Li Dafa:
  Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving. J. Autom. Reason. 18(1): 105-134 (1997)
• 
  Jörg Denzinger, Martin Kronenburg, Stephan Schulz:
  DISCOUNT - A Distributed and Learning Equational Prover. J. Autom. Reason. 18(2): 189-198 (1997)
• 
  Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas:
  Computing Circumscription Revisited: A Reduction Algorithm. J. Autom. Reason. 18(3): 297-336 (1997)
• 
  Simon Finn, Michael P. Fourman, John Longley:
  Partial Functions in a Total Setting. J. Autom. Reason. 18(1): 85-104 (1997)
• 
  Tim Geisler, Sven Panne, Heribert Schütz:
  Satchmo - The Compiling and Functional Variants. J. Autom. Reason. 18(2): 227-236 (1997)
• 
  Steve Greenbaum:
  Violet. J. Autom. Reason. 18(2): 259-264 (1997)
• 
  Thomas Hillenbrand, Arnim Buch, Roland Vogt, Bernd Löchner:
  WALDMEISTER - High-Performance Equational Deduction. J. Autom. Reason. 18(2): 265-270 (1997)
• 
  Larry M. Hines:
  A Tribute to Woody Bledsoe. J. Autom. Reason. 18(1): 1-4 (1997)
• 
  Rong-Huei Hou, Tzung-Pei Hong, Shian-Shyong Tseng, Sy-Yen Kuo:
  A New Probabilistic Induction Method. J. Autom. Reason. 18(1): 5-24 (1997)
• 
  Dieter Hutter:
  Coloring Terms to Control Equational Reasoning. J. Autom. Reason. 18(3): 399-442 (1997)
• 
  Reinhold Letz:
  LINUS - A Link Instantion Prover with Unit Support. J. Autom. Reason. 18(2): 205-210 (1997)
• 
  William McCune, Larry Wos:
  Otter - The CADE-13 Competition Incarnations. J. Autom. Reason. 18(2): 211-220 (1997)
• 
  Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr:
  SETHEO and E-SETHEO - The CADE-13 Systems. J. Autom. Reason. 18(2): 237-246 (1997)
• 
  Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo:
  Barcelona. J. Autom. Reason. 18(2): 171-176 (1997)
• 
  M. Paramasivam, David A. Plaisted:
  RRTP - A Replacement Rule Theorem Prover. J. Autom. Reason. 18(2): 221-226 (1997)
• 
  Francis Jeffry Pelletier, Geoff Sutcliffe:
  An Erratum for Some Errata to ATP Problems. J. Autom. Reason. 18(1): 135 (1997)
• 
  Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner:
  Conclusions about the CADE-13 ATP System Competition. J. Autom. Reason. 18(2): 287-296 (1997)
• 
  Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray:
  Fast Subsumption Checks Using Anti-Links. J. Autom. Reason. 18(1): 47-83 (1997)
• 
  Anavai Ramesh, George Becker, Neil V. Murray:
  CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates. J. Autom. Reason. 18(3): 337-356 (1997)
• 
  Marek A. Suchenek:
  Evaluation of Queries under Closed-World Assumption. J. Autom. Reason. 18(3): 357-398 (1997)
• 
  Geoff Sutcliffe, Christian B. Suttner:
  The CADE-13 ATP System Competition. J. Autom. Reason. 18(2): 137-138 (1997)
• 
  Geoff Sutcliffe, Christian B. Suttner:
  The Design of the CADE-13 ATP System Competition. J. Autom. Reason. 18(2): 139-162 (1997)
• 
  Geoff Sutcliffe, Christian B. Suttner:
  The Procedures of the CADE-13 ATP System Competition. J. Autom. Reason. 18(2): 163-169 (1997)
• 
  Geoff Sutcliffe, Christian B. Suttner:
  The Results - of the CADE-13 ATP System Competition. J. Autom. Reason. 18(2): 271-286 (1997)
• 
  Christian B. Suttner:
  SPTHEO - A Parallel Theorem Prover. J. Autom. Reason. 18(2): 253-258 (1997)
• 
  Tanel Tammet:
  Gandalf. J. Autom. Reason. 18(2): 199-204 (1997)
• 
  Christoph Weidenbach:
  SPASS - Version 0.49. J. Autom. Reason. 18(2): 247-252 (1997)