Tableaux and Model Checking for Memory Logics.

Carlos Areces, Diego Figueira, Daniel Gorn, Sergio Mera

Browse the full TABLEAUX paper archive.