Ajith K. John Supratik Chakraborty A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations. 486-503 2011 CAV http://dx.doi.org/10.1007/978-3-642-22110-1_39 conf/cav/2011 db/conf/cav/cav2011.html#JohnC11