"HyLoRes 1.0: Direct Resolution for Hybrid Logics."

Carlos Areces, Juan Heguiabehere (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics