TY  - RPRT
TI  - Axiomatizing first-order consequences in inclusion logic
AU  - Fan Yang
PY  - 2020
UR  - https://arxiv.org/abs/1904.06227
ID  - 1904.06227
ER  -