Three tactic theorem proving,” in Theorem Proving in Higher Order Logics (1999)

by D Syme
Venue:of Lecture Notes in Computer Science