"The ICS Decision Procedures for Embedded Deduction."

Leonardo Mendonça de Moura et al. (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics