Bounds for proof search and speed-up in the predicate calculus (1999)

by R Statman
Venue:108 pastel-00961344, version 1 - 19 Mar 2014 [Tin02] [Tin07] [TS00