von Henke et al. Case Studies in Meta-Level Theorem Proving (1998)

by F W
Venue:Theorem Proving in Higher Order Logics (TPHOLS 1998), volume 1749 of LNCS