Zheng, G.; Nguyen, T.; Gutierrez Brida, S.; Regis, G.; Aguirre, N.; Frias, M. F.; Bagheri, H. ATR: Template-Based Repair for Alloy Specifications. JAIIO 2022, 8, 71-71.