Two tableau provers for basic hybrid logic (2009)

by M Cialdea Mayer, S Cerrito, E Benassi, F Giammarinaro, C Varani