"Tableaux and model checking for memory logics" (2009) Areces, C.; Figueira, D.; Gorín, D.; Mera, S. 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009. 5607 LNAI:47-61
10.1007/978-3-642-02716-1_5
paper_03029743_v5607LNAI_n_p47_Areces