Reinhold Letz, Gernot Stenz. Universal Variables in Disconnection Tableaux. In Marta Cialdea Mayer, Fiora Pirri, editors, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings. Volume 2796 of Lecture Notes in Computer Science, pages 117-133, Springer, 2003. [doi]
Abstract is missing.