TY  - RPRT
TI  - A Taxonomy of C-systems
AU  - W. A. Carnielli
AU  - J. Marcos
PY  - 2001
UR  - https://arxiv.org/abs/math/0108036
ID  - math/0108036
ER  -