Fast Tactic-based Theorem Proving (2000)

by Jason Hickey, Aleksey Nogin
Venue:TPHOLs 2000, LNCS 1869