1. Bergmann, M. (2005). Finite tree property for first-order logic with identity and functions. Notre Dame Journal of Formal Logic, 46(2), 173–180.
2. Bergmann, M., Moor, J., & Nelson, J. (2004). The logic book (4th ed.). New York: McGraw-Hill.
3. Boolos, G. (1984). Trees and finite satisfiability: Proof of a conjecture of Burgess. Notre Dame Journal of Formal Logic, 25(3), 193–197.
4. Caton, C. E. (1976). The idea of sameness challenges reflection. In M. Schirn (Ed.), Studien zu Frege II–Studies on Frege II (pp. 167–180). Stuttgart-Bad Cannstatt: Frommann-Holzboog.
5. Church, A. (1951). A formulation of the logic of sense and denotation. In P. Henle, H. M. Kallen, & S. K. Langer (Eds.), Structure, method, and meaning: Essays in honor of Henry M. Sheffer (pp. 3–24). New York: Liberal Arts Press.