"Basic model theory for memory logics" (2011) Areces, C.;Carreiro, F.;Figueira, S. (
...)Queiroz R. 18th International Workshop on Logic, Language, Information and Computation, WoLLIC 2011. 6642 LNAI:20-34
10.1007/978-3-642-20920-8_8
paper_03029743_v6642LNAI_n_p20_Areces