Qualitative Reasoning about Space with Hybrid Logic. - Stanislovas Norgela; Julius Andrikonis; Arunas Stockus (DB&IS, 2012)