Herod and Pilate: two tableau provers for basic hybrid logic (2010)

by M Cialdea Mayer, S Cerrito
Venue:In Proceedings of IJCAR 2010