Łupkowski, P. (2017). IEL-based Formal Dialogue System for Tutorials. Logic and Logical Philosophy, 26(3), 287–320. https://doi.org/10.12775/LLP.2017.013