Little Theories.

William M. Farmer, Joshua D. Guttman, F. Javier Thayer

Browse the full CADE paper archive.