TY  - RPRT
TI  - Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules
AU  - Tim S. Lyon
AU  - Piotr Ostropolski-Nalewaja
PY  - 2023
UR  - https://arxiv.org/abs/2306.02521
ID  - 2306.02521
ER  -