by D. Tishkovsky; R. A. Schmidt; M. Khodadadi.
Reference:
MetTeL: A Generic Tableau Prover. (D. Tishkovsky; R. A. Schmidt; M. Khodadadi.), In Proceedings of the 18th Workshop on Automated Reasoning (ARW2011) (Miller,A.;Kirwan,R., ed.), Dept of Computing Science, University of Glasgow, 2011.
Bibtex Entry:
@INPROCEEDINGS{Miller:2011:9379,
Author = {D. Tishkovsky; R. A. Schmidt; M. Khodadadi.},
TITLE = {MetTeL: A Generic Tableau Prover.},
EDITOR = {Miller,A.;Kirwan,R.},
BOOKTITLE = {Proceedings of the 18th Workshop on Automated Reasoning (ARW2011)},
Pages ={3--4},
Institution = {University of Glasgow, Department of Computing Science}, ISBN ={TR-2011-327},
keywords = {Automated reasoning, theorem proving, model checking},
Publisher ={Dept of Computing Science, University of Glasgow},Year = {2011},
URL = {papers/arw18.pdf}
}