Prolegomena to a theory of mechanized formal reasoning (1980)

by R W Weyhrauch
Venue:Artificial Intelligence