1. Blake, A., Canonical Expressions in Boolean Algebra, PhD thesis, University of Chicago, 1937.
2. Buss, S. R., and G. Turan, ‘Resolution proofs of generalized pigeon-hole principles’, Theoretical Computer Science, 62: 311–317, 1988.
3. Carbone, A., ‘Streams and strings of formal proofs’, Theoretical Computer Science. To appear.
4. Carbone, A., and S. Semmes, A Graphic Apology for Symmetry and Implicitness. Mathematical Monographs, Oxford University Press, 2000.
5. Colmerauer, A., H. KANOUI, P. Roussel, and R. Pasero, Un système de communication homme-machine en français, Groupe de Recherche en Intelligence Artiflcielle, Université d'Aix-Marseille, 1973.