Little theories (1992)

by William Farmer, Josuah Guttman, Xavier Thayer
Venue:Proceedings of the 11th Conference on Automated Deduction, volume 607 of LNCS