TY  - RPRT
TI  - RCF2: Evaluation and Consistency
AU  - Michael Pfender
PY  - 2009
UR  - https://arxiv.org/abs/0809.3881
ID  - 0809.3881
ER  -