The following publications are possibly variants of this publication:
- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic ReasoningLaura Giordano, Valentina Gliozzi, Gian Luca Pozzato. tableaux 2007: 238-244 [doi]
- Analytic tableaux calculi for KLM logics of nonmonotonic reasoningLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. tocl, 10(3), 2009. [doi]
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood SemanticsSara Negri, Nicola Olivetti. tableaux 2015: 115-134 [doi]
- Analytic Sequent Calculi for Abelian and ukasiewicz LogicsGeorge Metcalfe, Nicola Olivetti, Dov M. Gabbay. tableaux 2002: 191-205 [doi]
- An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. aiia 2007: 84-96 [doi]