A coverage checking algorithm for LF (2003)

by Carsten Schürmann, Frank Pfenning
Venue:Proccedings of Theorem Proving in Higher Order Logics (TPHOLs’03), volume LNCS-2758