TY  - RPRT
TI  - Extending a system in the calculus of structures with a self-dual quantifier
AU  - Luca Roversi
PY  - 2012
DO  - 10.1093/logcom/exu033
UR  - https://arxiv.org/abs/1212.4483
ID  - 1212.4483
ER  -