TY  - RPRT
TI  - Proof Relevant Corecursive Resolution
AU  - Peng Fu
AU  - Ekaterina Komendantskaya
AU  - Tom Schrijvers
AU  - Andrew Pond
PY  - 2015
UR  - https://arxiv.org/abs/1511.09394
ID  - 1511.09394
ER  -