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
Copyright ©
Tue Nov 18 20:41:02 2008 by
Michael Ley
(
ley@uni-trier.de
)