Importing MDG verification results into HOL (1999)

by H Xiong, P Curzon, S Tahar
Venue:In Theorem Proving in Higher Order Logics, number 1690 in Lecture Notes in Computer Science