Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak. A One-Pass Tree-Shaped Tableau for Defeasible LTL. In Carlo Combi, Johann Eder, Mark Reynolds 0001, editors, 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria. Volume 206 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
@inproceedings{ChafikACV21,
title = {A One-Pass Tree-Shaped Tableau for Defeasible LTL},
author = {Anasse Chafik and Fahima Cheikh Alili and Jean-François Condotta and Ivan Varzinczak},
year = {2021},
doi = {10.4230/LIPIcs.TIME.2021.16},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.16},
researchr = {https://researchr.org/publication/ChafikACV21},
cites = {0},
citedby = {0},
booktitle = {28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria},
editor = {Carlo Combi and Johann Eder and Mark Reynolds 0001},
volume = {206},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-206-8},
}