@INPROCEEDINGS{HustadtSchmidt10,
AUTHOR = {Hustadt, U. and Schmidt, R. A.},
YEAR = {2012},
TITLE = {A Comparison of Solvers for Propositional Dynamic Logic},
EDITOR = {Konev, B. and Schmidt, R. A. and Schulz, S.},
BOOKTITLE = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
SERIES = {EPiC Series},
VOLUME = {9},
PUBLISHER = {EasyChair},
PAGES = {63--73},
URL = {\url{http://www.cs.man.ac.uk/~schmidt/publications/HustadtSchmidt10.html}},
ABSTRACT = {
Calculi for propositional dynamic logics have been investigated since
the introduction of this logic in the late seventies. Only in recent
years have practical procedures been suggested and implemented. In
this paper, we compare three such systems, namely, the
Tableau Workbench by Abate, Gore, and Widmann
(2009), the pdlProver system by Gore and Widmann (2009), and
the MLSolver system by Friedmann and Lange (2009).},
}