TY  - RPRT
TI  - RCF4: Inconsistent Quantification
AU  - Michael Pfender
PY  - 2009
UR  - https://arxiv.org/abs/0901.4865
ID  - 0901.4865
ER  -