Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi. METTEL/textsc{Met/hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine. In Kai Brünnler, George Metcalfe, editors, Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings. Volume 6793 of Lecture Notes in Computer Science, pages 242-247, Springer, 2011. [doi]
Abstract is missing.