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

Applications of Finite Linear Temporal Logic to Piecewise Linear Aggregates. - Henrikas Pranevicius; Stanislovas Norgela (Informatica, 2012)