"A dynamic epistemic logic analysis of the equality negation task."

Eric Goubault et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics