Łupkowski, P. “IEL-Based Formal Dialogue System for Tutorials”. Logic and Logical Philosophy, vol. 26, no. 3, May 2017, pp. 287-20, doi:10.12775/LLP.2017.013.