TY  - RPRT
TI  - A Meta-Logic of Inference Rules: Syntax
AU  - Alex Citkin
PY  - 2014
UR  - https://arxiv.org/abs/1411.7516
ID  - 1411.7516
ER  -