"System Description: XSL-Based Translator of Mizar to LaTeX."

Grzegorz Bancerek, Adam Naumowicz, Josef Urban (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics