@INPROCEEDINGS{TishkovskySchmidtKhodadadi12a,
AUTHOR = {Tishkovsky, D. and Schmidt, R. A. and Khodadadi, M.},
YEAR = {2012},
TITLE = {{MetTeL2}: Towards a Tableau Prover Generation Platform},
EDITOR = {Fontaine, P. and Schmidt, R. A. and Schulz, S.},
BOOKTITLE = {PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning},
SERIES = {EPiC Series},
VOLUME = {21},
PUBLISHER = {EasyChair},
PAGES = {149--162},
URL = {http://www.easychair.org/publications/?page=1013108741},
URL = {http://www.mettel-prover.org/papers/MetTeL2SysDesc.pdf},
ABSTRACT = {
This paper introduces MetTeL2, a tableau prover generator
producing Java code from the specifications of a logical
syntax and a tableau calculus. It is intended to provide
an easy to use system for non-technical users and allow
technical users to extend the generated implementations.
}
}