Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition.

Philippe Balbiani, Joseph Boudou

Browse the full CADE paper archive.