by Kenneth L. McMillan
Reference:
An interpolating theorem prover (Kenneth L. McMillan), In Theor. Comput. Sci., volume 345, 2005.
Bibtex Entry:
@article{DBLP:journals/tcs/McMillan05,
author = {Kenneth L. McMillan},
title = {An interpolating theorem prover},
journal = {Theor. Comput. Sci.},
volume = {345},
number = {1},
pages = {101--121},
year = {2005},
url = {TCS05.pdf},
doi = {10.1016/j.tcs.2005.07.003},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/tcs/McMillan05},
bibsource = {dblp computer science bibliography, https://dblp.org}
}