A comparison of PVS and Isabelle/HOL (1998)

by David Griffioen, Marieke Huisman
Venue:In Theorem Proving in Higher Order Logics, number 1479 in Lect. Notes Comp. Sci