• 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 16 matches

• 2008
• 
  Jesús Aransay, Clemens Ballarin, Julio Rubio:
  A Mechanized Proof of the Basic Perturbation Lemma. J. Autom. Reason. 40(4): 271-292 (2008)
• 
  Marc Bezem, Dimitri Hendriks:
  On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic. J. Autom. Reason. 40(1): 61-85 (2008)
• 
  Bishop Brock, Matt Kaufmann, J Strother Moore:
  Rewriting with Equivalence Relations in ACL2. J. Autom. Reason. 40(4): 293-306 (2008)
• 
  Kaustuv Chaudhuri, Frank Pfenning, Greg Price:
  A Logical Characterization of Forward and Backward Chaining in the Inverse Method. J. Autom. Reason. 40(2-3): 133-177 (2008)
• 
  Jörg Endrullis, Johannes Waldmann, Hans Zantema:
  Matrix Interpretations for Proving Termination of Term Rewriting. J. Autom. Reason. 40(2-3): 195-220 (2008)
• 
  Ulrich Furbach:
  IJCAR Preface. J. Autom. Reason. 40(2-3): 87-88 (2008)
• 
  Yevgeny Kazakov, Boris Motik:
  A Resolution-Based Decision Procedure for SHOIQ. J. Autom. Reason. 40(2-3): 89-116 (2008)
• 
  Yevgeny Kazakov, Boris Motik:
  A Resolution-Based Decision Procedure for SHOIQ. J. Autom. Reason. 40(4): 357 (2008)
• 
  Mark H. Liffiton, Karem A. Sakallah:
  Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints. J. Autom. Reason. 40(1): 1-33 (2008)
• 
  Jia Meng, Lawrence C. Paulson:
  Translating Higher-Order Clauses to First-Order Clauses. J. Autom. Reason. 40(1): 35-60 (2008)
• 
  Andrey Paskevich:
  Connection Tableaux with Lazy Paramodulation. J. Autom. Reason. 40(2-3): 179-194 (2008)
• 
  Sandip Ray, Warren A. Hunt Jr., John Matthews, J Strother Moore:
  A Mechanical Analysis of Program Verification Strategies. J. Autom. Reason. 40(4): 245-269 (2008)
• 
  Laurence Rideau, Bernard P. Serpette, Xavier Leroy:
  Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves. J. Autom. Reason. 40(4): 307-326 (2008)
• 
  Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton:
  Automatic Construction and Verification of Isotopy Invariants. J. Autom. Reason. 40(2-3): 221-243 (2008)
• 
  David Toman, Grant E. Weddell:
  On Keys and Functional Dependencies as First-Class Citizens in Description Logics. J. Autom. Reason. 40(2-3): 117-132 (2008)
• 
  Christian Urban:
  Nominal Techniques in Isabelle/HOL. J. Autom. Reason. 40(4): 327-356 (2008)