TY  - RPRT
TI  - Resource Adaptive Agents in Interactive Theorem Proving
AU  - Christoph Benzmueller
AU  - Volker Sorge
PY  - 2009
UR  - https://arxiv.org/abs/0901.3585
ID  - 0901.3585
ER  -