[[1] Marco B. Caminati and Giuseppe Rosolini. Custom automations in Mizar. Journal of Automated Reasoning, 50(2):147–160, 2013.10.1007/s10817-012-9266-1]Search in Google Scholar
[[2] Artur Korniłowicz. On rewriting rules in Mizar. Journal of Automated Reasoning, 50(2): 203–210, 2013.10.1007/s10817-012-9261-6]Search in Google Scholar
[[3] Karol Pąk. Improving legibility of natural deduction proofs is not trivial. Logical Methods in Computer Science, 10, 2014.10.2168/LMCS-10(3:23)2014]Search in Google Scholar