@inproceedings{iclp/MarynissenB22,
  author    = {Marynissen, Simon and Bogaerts, Bart},
  year      = {2021},
  title     = {Tree-Like Justification Systems are Consistent},
  editor    = { Yuliya Lierler and Jose Morales and Carmine Dodaro and Veronica Dahl and Martin Gebser and Tuncay Tekle},
  booktitle = {Proceedings 38th International Conference on Logic Programming (Technical Communications) ,
               Haifa, 31st July -- 6th August 2022},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {364},
  publisher = {Open Publishing Association},
  pages     = {1-11},
  doi       = {10.4204/EPTCS.364.1},
}