Journal of Automated Reasoning (JAR), Volume 40

Volume 40, Number 1, January 2008

• Mark H. Liffiton, Karem A. Sakallah:
  Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints. 1-33
  Electronic Edition (link) BibTeX
• Jia Meng, Lawrence C. Paulson:
  Translating Higher-Order Clauses to First-Order Clauses. 35-60
  Electronic Edition (link) BibTeX
• Marc Bezem, Dimitri Hendriks:
  On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic. 61-85
  Electronic Edition (link) BibTeX