Fast Tactic-based Theorem Proving (2000)

by Jason Hickey , Aleksey Nogin
Venue:TPHOLs 2000, LNCS 1869
Citations:9 - 4 self