Little Theories (1992)

by William M. Farmer, Joshua D. Guttman, F. Javier Thayer
Venue:Automated Deduction|CADE-11, volume 607 of Lecture Notes in Computer Science