Prolegmena to a theory of mechanized formal reasoning (1986)

by R W Weyhrauch
Venue:In Readings IN Knowledge Representation