Tableaux and Algorithms for Propositional Dynamic Logic with Converse.

Giuseppe De Giacomo, Fabio Massacci

Browse the full CADE paper archive.