%0 Conference Paper %1 journals/corr/abs-2208-03089 %A Marynissen, Simon %A Bogaerts, Bart %B ICLP Technical Communications / Doctoral Consortium %D 2022 %E Lierler, Yuliya %E Morales, José F. %E Dodaro, Carmine %E Dahl, Verónica %E Gebser, Martin %E Tekle, K. Tuncay %K dblp %P 1-11 %T Tree-Like Justification Systems are Consistent. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs364.html#abs-2208-03089 %V 364

@inproceedings{journals/corr/abs-2208-03089, added-at = {2022-12-07T00:00:00.000+0100}, author = {Marynissen, Simon and Bogaerts, Bart}, biburl = {https://www.bibsonomy.org/bibtex/2fc1d3697d7c1c9a409558635929bab72/dblp}, booktitle = {ICLP Technical Communications / Doctoral Consortium}, crossref = {journals/corr/abs-2208-02685}, editor = {Lierler, Yuliya and Morales, José F. and Dodaro, Carmine and Dahl, Verónica and Gebser, Martin and Tekle, K. Tuncay}, ee = {https://doi.org/10.48550/arXiv.2208.03089}, interhash = {9694699188df1d2c9b6389488a97d2c9}, intrahash = {fc1d3697d7c1c9a409558635929bab72}, keywords = {dblp}, pages = {1-11}, series = {EPTCS}, timestamp = {2024-04-09T09:29:27.000+0200}, title = {Tree-Like Justification Systems are Consistent.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs364.html#abs-2208-03089}, volume = 364, year = 2022 }