PP-2005-02: Balder ten Cate, Massimo Franceschet On the complexity of hybrid logics with binders 1.Full Text, 2.Abstract. < Back
