Dealing with Symmetries in Modal Tableaux.

Carlos Areces, Ezequiel Orbe

Browse the full TABLEAUX paper archive.