Krysia Broda Fariba Sadri Stephen Butler Reactive Answer Set Programming. 367-418 2022 22 Theory Pract. Log. Program. 3 https://doi.org/10.1017/S147106842100051X db/journals/tplp/tplp22.html#BrodaSB22