TY  - RPRT
TI  - Constructive Canonicity of Inductive Inequalities
AU  - Willem Conradie
AU  - Alessandra Palmigiano
PY  - 2020
DO  - 10.23638/lmcs-16(3:8)2020
UR  - https://arxiv.org/abs/1603.08341
ID  - 1603.08341
ER  -