Shuvendu K. Lahiri, Krishna K. Mehra. Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic. JSAT, 1(3-4):187-207, 2007. [doi]
@article{LahiriM07,
title = {Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic},
author = {Shuvendu K. Lahiri and Krishna K. Mehra},
year = {2007},
url = {http://jsat.ewi.tudelft.nl/content/volume1/JSAT1_10_Lahiri.pdf},
tags = {rule-based},
researchr = {https://researchr.org/publication/LahiriM07},
cites = {0},
citedby = {0},
journal = {JSAT},
volume = {1},
number = {3-4},
pages = {187-207},
}