TY  - RPRT
TI  - A remark on higher order RUE-resolution with EXTRUE
AU  - Christoph Benzmueller
PY  - 2009
UR  - https://arxiv.org/abs/0901.3608
ID  - 0901.3608
ER  -