Inconsistencies in TeX-Produced Documents. - Jovyn Tan; Manuel Rigger (ISSTA, 2024)