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

Marta Cialdea Mayer

Browse the full CADE paper archive.