1. Aczel, Peter and Feferman, Solomon, Consistency of the unrestricted abstraction principle using an intensional equivalence operator, in J. P. Seldin and H. Putnam (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press Inc., New York, 1980, pp. 67-98.
2. Anderson, Alan R., St. Paul's epistle to Titus, in R. L. Martin (ed.), The Paradox of the Liar, Yale University Press, New Haven, 1970, pp. 1-11.
3. Barwise, Jon and Etchemendy, John, The Liar: An Essay on Truth and Circularity, Oxford University Press, New York, 1987.
4. Bealer, George, Quality and Concept, Oxford University Press, Oxford, 1982.
5. Belnap, Nuel D., Gupta's rule of revision theory of truth, J. Philos. Logic 11(1) (1982), 103-116.