"A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation ..."

Marta Cialdea Mayer (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics