F. Agostinelli, R. Panta, and V. Khandelwal, “Specifying Goals to Deep Neural Networks with Answer Set Programming”, ICAPS, vol. 34, no. 1, pp. 2-10, May 2024.