A Tableau Calculus for a Nonmonotonic Extension of

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato

Browse the full TABLEAUX paper archive.