@INPROCEEDINGS{TishkovskySchmidtKhodadadi12b,
AUTHOR = {Tishkovsky, D. and Schmidt, R. A. and Khodadadi, M.},
YEAR = {2012},
TITLE = {The Tableau Prover Generator {MetTeL2}},
EDITOR = {del Cerro, L. F. and Herzig, A. and Mengin, J.},
BOOKTITLE = {Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA 2012)},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {7519},
PUBLISHER = {Springer},
PAGES = {492--495},
DOI = {http://dx.doi.org/10.1007/978-3-642-33353-8_41},
URL = {\url{http://www.cs.man.ac.uk/~schmidt/publications/TishkovskySchmidtKhodadadi12b.html}},
}