KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning.

Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato

Browse the full TABLEAUX paper archive.