Importing MDG veri results into HOL (1999)

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