METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine.

Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi

Browse the full TABLEAUX paper archive.