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]
Abstract is missing.