Laurent Catach TABLEAUX: A General Theorem Prover for Modal Logics. 489-510 1991 7 J. Autom. Reasoning 4 db/journals/jar/jar7.html#Catach91