TY  - RPRT
TI  - A General Verification for Functional Completeness by Abstract Operators
AU  - Yang Tian
PY  - 2020
UR  - https://arxiv.org/abs/2005.04922
ID  - 2005.04922
ER  -