1. Abramsky, S., Jagadeesan, R., & Malacaria, P. (2000). Full Abstraction for PCF. Information and Computation, 163(2), 409–470.
2. Alama, J., Knoks, A., & Uckelman, S. (2011). Dialogues games for classical logic (short paper). In M. Giese & R. Kuznets (Eds.), Tableaux 2011 (pp. 82–86). Universiteit Bern.
3. Andreoli, J.-M. (1992). Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 2, 297–347.
4. Castelnérac, B., & Marion, M. (2009). Arguing for iconsistency: Dialectical games in the academy. In G. Primiero & S. Rahman (Eds.), Acts of knowledge: History, philosophy and logic (pp. 37–76). College Publications.
5. Castelnérac, B., & Marion, M. (2013). Antilogic. The Baltic International Yearbook of Cognition, Logic and Communication, 8(1).