Propositional Dynamic Logic with Recursive Programs.

Christof Lding, Olivier Serre

Browse the full FOSSACS paper archive.