Zheng, Guolong, ThanhVu Nguyen, Simon Gutierrez Brida, German Regis, Nazareno Aguirre, Marcelo F. Frias, y Hamid Bagheri. 2022. ATR: Template-Based Repair for Alloy Specifications. Memorias De Las JAIIO 8 (3), 71-71. https://ojs.sadio.org.ar/index.php/JAIIO/article/view/303.