Himanshu Jain, Edmund M. Clarke, Orna Grumberg. Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations. In Aarti Gupta, Sharad Malik, editors, Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings. Volume 5123 of Lecture Notes in Computer Science, pages 254-267, Springer, 2008. [doi]
@inproceedings{JainCG08,
title = {Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations},
author = {Himanshu Jain and Edmund M. Clarke and Orna Grumberg},
year = {2008},
doi = {10.1007/978-3-540-70545-1_24},
url = {http://dx.doi.org/10.1007/978-3-540-70545-1_24},
researchr = {https://researchr.org/publication/JainCG08},
cites = {0},
citedby = {0},
pages = {254-267},
booktitle = {Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
editor = {Aarti Gupta and Sharad Malik},
volume = {5123},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-70543-7},
}