Stéphane Demri. Using Connection Method in Modal Logics: Some Advantages. In Peter Baumgartner, Reiner Hähnle, Joachim Posegga, editors, Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX 95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings. Volume 918 of Lecture Notes in Computer Science, pages 63-78, Springer, 1995.
Abstract is missing.