Franceschet, Rijke, 2006. Model checking hybrid logics (with an application to semistructured data).. https://doi.org/10.1016/j.jal.2005.06.010