@inproceedings{DBLP:conf/cade/JanicicBG99,
author = {Predrag Janicic and
Alan Bundy and
Ian Green},
editor = {Harald Ganzinger},
title = {A Framework for the Flexible Integration of a Class of Decision Procedures
into Theorem Provers},
booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated
Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1632},
pages = {127--141},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48660-7\_9},
doi = {10.1007/3-540-48660-7\_9},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/JanicicBG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
