## Case Studies in Meta-Level Theorem Proving (1998)

by
Friedrich W. von Henke
,
Stephan Pfab
,
Holger Pfeifer
,
Harald Rueß

Venue: | PROC. INTL. CONF. ON THEOREM PROVING IN HIGHER ORDER LOGICS (TPHOLS), LECTURE |

Citations: | 4 - 1 self |