"A Comparison of Solvers for Propositional Dynamic Logic."

Ullrich Hustadt, Renate A. Schmidt (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics