An efficient approach to nominal equalities in hybrid logic tableaux (2010)

by S Cerrito, M Cialdea Mayer
Venue:Journal of Applied Non-classical Logics