Zheng, G., Nguyen, T., Gutierrez Brida, S., Regis, G., Aguirre, N., Frias, M.F. y Bagheri, H. 2022. ATR: Template-Based Repair for Alloy Specifications. Memorias de las JAIIO. 8, 3 (dic. 2022), 71-71.