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