## Kenneth L. McMillan

*An Interpolating Theorem Prover*

TACAS, 2004.

@inproceedings{TACAS-2004-McMillan, author = "Kenneth L. McMillan", booktitle = "{Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}", doi = "10.1007/978-3-540-24730-2_2", isbn = "3-540-21299-X", pages = "16--30", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{An Interpolating Theorem Prover}", volume = 2988, year = 2004, }