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

Grzegorz Bancerek, Adam Naumowicz, Josef Urban (2018)
maintained by Schloss Dagstuhl LZI, founded at University of Trier