TY  - RPRT
TI  - Characteristic Formulas 50 Years Later (An Algebraic Account)
AU  - Alex Citkin
PY  - 2014
UR  - https://arxiv.org/abs/1407.5823
ID  - 1407.5823
ER  -