Proving existential theorems when importing results from MDG to HOL (2001)

by Haiyan Xiong , Paul Curzon , Sofiène Tahar , Ann Blandford
Venue:TPHOLS 2001 SUPPLEMENTAL PROCEEDINGS, INFORMATIC RESEARCH REPORT EDI-INF-RR-0046
Citations:4 - 3 self