Alessandro Avellone, Mauro Ferrari. Almost Duplication-Free Tableau Calculi for Propositional Lax Logics. In Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi, editors, Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX 96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings. Volume 1071 of Lecture Notes in Computer Science, pages 48-64, Springer, 1996.
Abstract is missing.