TY  - RPRT
TI  - Logical reduction of metarules
AU  - Andrew Cropper
AU  - Sophie Tourret
PY  - 2019
UR  - https://arxiv.org/abs/1907.10952
ID  - 1907.10952
ER  -