Journal Article
Online First™The HOL Light Theory of Euclidean Space
John Harrison
Journal of Automated Reasoning, Online First™, 3 May 2012
Journal Article
Online First™Open AccessUncurrying for Termination and Complexity
Nao Hirokawa, Aart Middeldorp and Harald Zankl
Journal of Automated Reasoning, Online First™, 25 April 2012
Journal Article
Online First™Open AccessMulti-Completion with Termination Tools
Sarah Winkler, Haruhiko Sato, Aart Middeldorp and Masahito Kurihara
Journal of Automated Reasoning, Online First™, 14 April 2012
Journal Article
Online First™6 Years of SMT-COMP
Clark Barrett, Morgan Deters, Leonardo de Moura, Albert Oliveras and Aaron Stump
Journal of Automated Reasoning, Online First™, 31 March 2012
Journal Article
Online First™Case Splitting in an Automatic Theorem Prover for Real-Valued Special Functions
James P. Bridge and Lawrence Charles Paulson
Journal of Automated Reasoning, Online First™, 5 March 2012
Journal Article
Online First™Paramodulation with Non-Monotonic Orderings and Simplification
Miquel Bofill and Albert Rubio
Journal of Automated Reasoning, Online First™, 15 December 2011
Journal Article
Online First™ExpTime Tableaux for ALC\boldsymbol{\mathcal{ALC}} Using Sound Global Caching
Rajeev Goré and Linh Anh Nguyen
Journal of Automated Reasoning, Online First™, 9 December 2011
Journal Article
Online First™Invariant-Free Clausal Temporal Resolution
Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro and Fernando Orejas
Journal of Automated Reasoning, Online First™, 2 December 2011
Journal Article
Online First™Simulating Circuit-Level Simplifications on CNF
Matti Järvisalo, Armin Biere and Marijn J. H. Heule
Journal of Automated Reasoning, Online First™, 3 November 2011
Journal Article
Online First™PSPACE Tableau Algorithms for Acyclic Modalized ALC\boldsymbol{\mathcal{ALC}}
Jia Tao, Giora Slutzki and Vasant Honavar
Journal of Automated Reasoning, Online First™, 9 July 2011