Little Theories (1992)

by W Farmer, J Guttman, F Thayer
Venue:Conference on Automated Deduction