TY  - RPRT
TI  - ProofWatch: Watchlist Guidance for Large Theories in E
AU  - Zarathustra Goertzel
AU  - Jan Jakubův
AU  - Stephan Schulz
AU  - Josef Urban
PY  - 2018
DO  - 10.1007/978-3-319-94821-8_16
UR  - https://arxiv.org/abs/1802.04007
ID  - 1802.04007
ER  -