The following publications are possibly variants of this publication:
- Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate CalculusHenk Barendregt, Martin W. Bunder, Wil Dekkers. JSYML, 58(3):769-788, 1993.
- Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculusWil Dekkers, Martin W. Bunder, Henk Barendregt. AML, 37(5-6):327-341, 1998. [doi]
- Consistency Notions in Illative Combinatory LogicMartin W. Bunder. JSYML, 42(4):527-529, 1977.
- On Adding (xi) to Weak Equality in Combinatory LogicMartin W. Bunder, J. Roger Hindley, Jonathan P. Seldin. JSYML, 54(2):590-607, 1989.
- A paradox in illative combinatory logicMartin W. Bunder. ndjfl, 11(4):467-470, 1970. [doi]
- Significance and illative combinatory logicsMartin W. Bunder. ndjfl, 21(2):380-384, 1980. [doi]
- Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic into Illative Combinatory LogicWil Dekkers, Martin W. Bunder, Henk Barendregt. JSYML, 63(3):869-890, 1998.
- Λ-elimination in illative combinatory logicMartin W. Bunder. ndjfl, 20(3):628-630, 1979. [doi]
- Scott's models and illative combinatory logicMartin W. Bunder. ndjfl, 20(3):609-612, 1979. [doi]