A coverage checking algorithm for LF (2004)

by F Pfenning, C Schürmann
Venue:Proceedings of 16th International Conference on Theorem Proving in Higher Order Logics