Fairguard: Harness Logic-based Fairness Rules in Smart Cities. - Yiqi Zhao; Ziyan An; Xuqing Gao; Ayan Mukhopadhyay; Meiyi Ma (IoTDI, 2023)