"On Solving Boolean Combinations of UTVPI Constraints."

Sanjit A. Seshia, K. Subramani, Randal E. Bryant (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics