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
Citations:56 - 17 self