TY  - RPRT
TI  - Minimizing Deduction System and its Application
AU  - Zhe Cen
AU  - Xiutao Feng
AU  - Zhangyi Wang
AU  - Chunping Cao
PY  - 2020
UR  - https://arxiv.org/abs/2006.05833
ID  - 2006.05833
ER  -