The ICS Decision Procedures for Embedded Deduction.

Leonardo Mendona de Moura, Sam Owre, Harald Rue, John M. Rushby, Natarajan Shankar

Browse the full CADE paper archive.