A Coverage Checking Algorithm for LF (2003)

by Carsten Schürmann, Frank Pfenning