Using Yices as an automated solver in Isabelle/HOL (2008)

by L Erkök, J Matthews
Venue:Automated Formal Methods (AFM08