TY  - RPRT
TI  - Granularity-Adaptive Proof Presentation
AU  - Marvin Schiller
AU  - Christoph Benzmueller
PY  - 2009
UR  - https://arxiv.org/abs/0903.0314
ID  - 0903.0314
ER  -