Agostinelli, F., R. Panta, and V. Khandelwal. “Specifying Goals to Deep Neural Networks With Answer Set Programming”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 34, no. 1, May 2024, pp. 2-10, doi:10.1609/icaps.v34i1.31454.