Olivetti, N. (1999). Tableaux for Nonmonotonic Logics. In Handbook of Tableau Methods (pp. 469–528). Springer Netherlands. https://doi.org/10.1007/978-94-017-1754-0_8
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.