A finite first-order theory of classes (2006)

by F Kirchner
Venue:In: Proc. 2006 Int. Workshop on Proofs and Programs. Lecture notes in Computer Science, Springer-Verlag