TY - RPRT TI - On Nested Justification Systems (full version) AU - Simon Marynissen AU - Jesse Heyninck AU - Bart Bogaerts AU - Marc Denecker PY - 2022 UR - https://arxiv.org/abs/2205.04541 ID - 2205.04541 ER -