Joanna Golinska-Pilarek, Taneli Huuskonen, Emilio Muñoz-Velasco. Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. Annals of Pure and Applied Logic, 165(2):409-427, 2014. [doi]
Abstract is missing.