Carlos Areces, Diego Figueira, Daniel GorÃn, Sergio Mera. Tableaux and Model Checking for Memory Logics. In Martin Giese, Arild Waaler, editors, Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Volume 5607 of Lecture Notes in Computer Science, pages 47-61, Springer, 2009. [doi]
Abstract is missing.