Edinburgh Research Explorer

A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. / Bundy, Alan; Janicic, P.; Green, I.

Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Springer-Verlag GmbH, 1999. p. 127-141 (Lecture Notes in Computer Science; Vol. 1632).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Bundy, A, Janicic, P & Green, I 1999, A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. in Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Lecture Notes in Computer Science, vol. 1632, Springer-Verlag GmbH, pp. 127-141. DOI: 10.1007/3-540-48660-7_9

APA

Bundy, A., Janicic, P., & Green, I. (1999). A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. In Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings (pp. 127-141). (Lecture Notes in Computer Science; Vol. 1632). Springer-Verlag GmbH. DOI: 10.1007/3-540-48660-7_9

Vancouver

Bundy A, Janicic P, Green I. A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. In Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Springer-Verlag GmbH. 1999. p. 127-141. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/3-540-48660-7_9

Author

Bundy, Alan ; Janicic, P. ; Green, I./ A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Springer-Verlag GmbH, 1999. pp. 127-141 (Lecture Notes in Computer Science).