@INPROCEEDINGS{TishkovskySchmidtKhodadadi11,
AUTHOR = {Tishkovsky, D. and Schmidt, R. A. and Khodadadi, M.},
YEAR = {2011},
TITLE = {MetTeL: A Tableau Prover with Logic-Independent Inference Engine},
EDITOR = {Br\"unnler, K. and Metcalfe, G.},
BOOKTITLE = {Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2011)},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {6793},
PAGES = {242--247},
PUBLISHER = {Springer},
DOI = {http://dx.doi.org/10.1007/978-3-642-22119-4_19},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/TishkovskySchmidtKhodadadi11.html},
ABSTRACT = {MetTeL is a generic tableau prover for various modal, intuitionistic,
hybrid, description and metric logics.  The core component of MetTeL is a
logic-independent tableau inference engine.  A novel feature is that users 
have the ability to flexibly specify the set of tableau rules to be used 
in derivations.  Termination can be achieved via a generalisation of a 
standard loop checking mechanism or unrestricted blocking.
},
}