%0 Journal Article %1 journals/tplp/MarynissenHBD22 %A Marynissen, Simon %A Heyninck, Jesse %A Bogaerts, Bart %A Denecker, Marc %D 2022 %J Theory Pract. Log. Program. %K dblp %N 5 %P 641-657 %T On Nested Justification Systems. %U http://dblp.uni-trier.de/db/journals/tplp/tplp22.html#MarynissenHBD22 %V 22

@article{journals/tplp/MarynissenHBD22, added-at = {2024-02-05T00:00:00.000+0100}, author = {Marynissen, Simon and Heyninck, Jesse and Bogaerts, Bart and Denecker, Marc}, biburl = {https://www.bibsonomy.org/bibtex/2eed3fc912848dba24f65096a8540c9aa/dblp}, ee = {https://doi.org/10.1017/S1471068422000266}, interhash = {76aad1d4e79811ecb76c237925fe0ea1}, intrahash = {eed3fc912848dba24f65096a8540c9aa}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 5, pages = {641-657}, timestamp = {2024-04-09T05:34:36.000+0200}, title = {On Nested Justification Systems.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp22.html#MarynissenHBD22}, volume = 22, year = 2022 }