A One-Pass Tree-Shaped Tableau for Defeasible LTL.

Anasse Chafik, Fahima Cheikh Alili, Jean-Franois Condotta, Ivan Varzinczak

Browse the full TIME paper archive.