Maria del Pilar Pozos Parra, Laurent Perrussel, Jean-Marc Thévenin. On Enumerating Models for the Logic of Paradox Using Tableau. In Davide Ciucci, Gabriella Pasi, Barbara Vantaggi, editors, Scalable Uncertainty Management - 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Volume 11142 of Lecture Notes in Computer Science, pages 228-242, Springer, 2018. [doi]
Abstract is missing.