Piotr Rudnicki, Josef Urban. Escape to ATP for Mizar. In Pascal Fontaine, Aaron Stump, editors, PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, Wrocław, Poland, August 1, 2011. pages 46-59, 2011. [doi]
@inproceedings{RudnickiU11,
title = {Escape to ATP for Mizar},
author = {Piotr Rudnicki and Josef Urban},
year = {2011},
url = {https://pxtp2011.loria.fr/PxTP2011.pdf#page=50},
researchr = {https://researchr.org/publication/RudnickiU11},
cites = {0},
citedby = {0},
pages = {46-59},
booktitle = {PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, Wrocław, Poland, August 1, 2011},
editor = {Pascal Fontaine and Aaron Stump},
}