Fast tactic-based theorem proving (2000)

by J J Hickey, A Nogin
Venue:Theorem Proving in Higher Order Logics: 13th International Conference (TPHOLs 2000), volume 1869 of Lecture Notes in Computer Science