"A Quantifier Elimination Algorithm for Linear Modular Equations and ..."

Ajith K. John, Supratik Chakraborty (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics