"Satisfiability Procedures for Combination of Theories Sharing Integer Offsets."

Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics