1. Benzmüller, C., Brown, C.E., Kohlhase, M.: Higher-order semantics and extensionality. Journal of Symbolic Logic 69, 1027–1088 (2004)
2. Dekkers, W., Bunder, M., Barendregt, H.: Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic. Journal of Symbolic Logic 3, 869–890 (1998)
3. Dekkers, W., Bunder, M., Barendregt, H.: Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus. Archive für Mathematische Logik 37, 327–341 (1998)
4. Dowek, G., Hardin, T., Kirchner, C.: Theorem proving modulo. Journal of Automated Reasoning 31(1), 33–72 (2003)
5. Michael Dunn, J., Restall, G.: Relevance logic. In: Gabbay, D.M. (ed.) Handbook of Philosophical Logic, 2nd edn., vol. 6, pp. 1–136. Kluwer Academic Publishers, Dordrecht (2002)