Complexity of mechanized hypothesis formation

Authored By:	P. Pudlak and F. N. Springsteel
Paper Title:	Complexity of mechanized hypothesis formation
In:	Theoret. Comput. Sci.
Vol. 8
Publication Date:	1979
Pages:	203-225