Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse.

Rajeev Gor, Florian Widmann

Browse the full CADE paper archive.