Predrag
Janicic, Ian Green, Alan Bundy: A
Comparison of Decision Procedures in Presburger Arithmetic, Proceedings of VIII International Conference on Logic
and Computer Science (LIRA '97) pp: 91-101, Novi Sad, September 01-04,
1997. (also available as Research
Paper 872, Department of AI, University of Edinburgh)
Predrag
Janicic, Alan Bundy, Ian Green: A
Framework for the Flexible Integration of a Class of Decision Procedures
into Theorem Provers , CADE-16, Lecture
Notes in Artificial Intelligence 1632,
pp: 127-141, Springer, 1999. Copyright Springer.
(Also available as
EDI-INF-RR-0096, Division of Informatics, University of Edinburgh)
Predrag
Janicic, Alan Bundy: Strict
General Setting for Building-in Decision Procedures into Theorem Provers, Proceedings of the first International Joint Conference
on Automated Reasoning (IJCAR '01), Siena, Italy, June 18-23, 2001.
Longer
version also available.
(Also available as
EDI-INF-RR-0097, Division of Informatics, University of Edinburgh)
Predrag
Janicic, Alan Bundy: A
General Setting for Combining and Integrating Decision Procedures into
Theorem Provers, Journal
of Automated Reasoning Vol.
28 No. 3, pp 257-305, 2002. Copyright
Kluwer Academic Publisher.
Draft
version available.
(Also available as
EDI-INF-RR-0095, Division of Informatics, University of Edinburgh)