Little theories (1992)

by W M Farmer, J D Guttman, F J Thayer
Venue:In Automated Deduction—CADE-11