Urban, J., Vyskočil, J.
URBAN, J. and J. VYSKOČIL. Theorem Proving in Large Formal Mathematics as an Emerging AI Field. In: BONACINA, M.P. and M.E. STICKEL, eds. Automated Reasoning and Mathematics. Heidelberg: Springer, 2013. pp. 240-257. ISSN 0302-9743. ISBN 978-3-642-36674-1.
URL: http://link.springer.com/chapter/10.1007%2F978-3-642-36675-8_13