Combining Equivalence Verification and Completion Functions. - Mark D. Aagaard; Vlad C. Ciubotariu; Jason T. Higgins; Farzad Khalvati (FMCAD, 2004)