W. O. David Griffioen Marieke Huisman A Comparison of PVS and Isabelle/HOL. 123-142 1998 conf/tphol/1998 TPHOLs db/conf/tphol/tphol98.html#GriffioenH98 http://dx.doi.org/10.1007/BFb0055133