Kenneth L. McMillan. An interpolating theorem prover. Theoretical Computer Science, 345(1):101-121, 2005. [doi]
@article{McMillan05:1, title = {An interpolating theorem prover}, author = {Kenneth L. McMillan}, year = {2005}, doi = {10.1016/j.tcs.2005.07.003}, url = {http://dx.doi.org/10.1016/j.tcs.2005.07.003}, researchr = {https://researchr.org/publication/McMillan05%3A1}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {345}, number = {1}, pages = {101-121}, }