1. Adding an equivalence relation to the interval logic ABB¯: complexity and expressiveness;Montanari,2013
2. Adding two equivalence relations to the interval temporal logic AB;Montanari,2014
3. On finite satisfiability of two-variable first-order logic with equivalence relations;Kieronski,2009
4. Two-variable logic on data words;Bojanczyk;ACM Trans. Comput. Log.,2011
5. LTL with the freeze quantifier and register automata;Demri;ACM Trans. Comput. Log.,2009