1. Anderson, A.R., Belnap, Jr., N.D.: Entailment: The Logic of Relevance and Necessity, vol. I. Princeton University Press (1975)
2. Andreoli, J.M.: Logic programming with focusing proofs in linear logic. J. Logic Comput. 2(3), 297–347 (1992)
3. Bimbó, K., Dunn, J.M.: On the decidability of implicational ticket entailment. J. Symb. Log. 78(1), 214–236 (2013)
4. Church, A.: The weak theory of implication. Kontrolliertes Denken, Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften, pp. 22–37. Kommissions-Verlag Karl Alber, Munich (1951)
5. Curry, H.H., Feys, R.: Combinatory Logic. Studies in Logic and the Foundations of Mathematics, vol. 1, 22. North-Holland Publishing Company (1958)