ArgRE: Formal Argumentation for Conflict Resolution in Multi-Agent Requirements Negotiation — Haowei Cheng, Milhan Kim, Chong Liu, Teeradaj Racharak, Truong Vinh Truong Duy, Phan Thi Huyen Thanh, Jialong Li, Naoyasu Ubayashi, Hironori Washizaki | Kutubxona