26. G. Sutcliffe and D. Seyfang. Smart Selective Competition Parallelism ATP. In A. Kumar and I. Russell, editors, *Proceedings of the 12th International FLAIRS* Conference, pages 341–345. AAAI Press, 1999.

27. G. Sutcliffe, A. Yerikalapudi, and S. Trac. Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems. In H. Guesgen and C. Lane, editors, *Proceedings of the 22nd International FLAIRS Conference*, pages 105–110. AAAI Press, 2009.

28. S. Trac, Y. Puzis, and G. Sutcliffe. An Interactive Derivation Viewer. In S. Autexier and C. Benzm¨uller, editors, Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 3rd International Joint Conference on Automated Reasoning, volume 174 of *Electronic Notes in Theoretical Computer Science*, pages 109–123, 2006.

29. J. Urban. XML-izing Mizar: Making Semantic Processing and Presentaion of MML
Easy. In M. Kohlhase, editor, Proceedings of the 4th International Conference on Mathematical Knowledge Management, number 3863 in Lecture Notes in Computer Science, pages 346–360, 2005.

30. J. Urban. MizarMode - An Integrated Proof Assistance Tool for the Mizar Way of Formalizing Mathematics. *Journal of Applied Logic*, 4(4):414–427, 2006.

31. J. Urban. MPTP 0.2: Design, Implementation, and Initial Experiments. *Journal* of Automated Reasoning, 37(1-2):21–43, 2006.

32. J. Urban. Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange. In G. Sutcliffe, P. Rudnicki, R. Schmidt, B. Konev, and S. Schulz, editors, *Proceedings of the LPAR Workshops: Knowledge Exchange: Automated* Provers and Proof Assistants, and The 7th International Workshop on the Implementation of Logics, number 418 in CEUR Workshop Proceedings, pages 1–16, 2008.

33. J. Urban and G. Sutcliffe. ATP-based Cross Verification of Mizar Proofs: Method, Systems, and First Experiments. *Journal of Mathematics in Computer Science*,
2(2):231–251, 2009.

34. J. Urban, G. Sutcliffe, P. Pudlak, and J. Vyskocil. MaLARea SG1: Machine Learner for Automated Reasoning with Semantic Guidance. In P. Baumgartner, A. Armando, and D. Gilles, editors, *Proceedings of the 4th International Joint Conference* on Automated Reasoning, number 5195 in Lecture Notes in Artificial Intelligence, pages 441–456. Springer-Verlag, 2008.

35. J. Urban, G. Sutcliffe, S. Trac, and Y. Puzis. Combining Mizar and TPTP Semantic Presentation and Verification Tools. *Studies in Logic, Grammar and Rhetoric*,
18(31):121–136, 2009.

36. C. Weidenbach, R. Schmidt, T. Hillenbrand, R. Rusev, and D. Topic. SPASS
Version 3.0. In F. Pfenning, editor, Proceedings of the 21st International Conference on Automated Deduction, number 4603 in Lecture Notes in Artificial Intelligence, pages 514–520. Springer-Verlag, 2007.