\providecommand{\firstpage}{135}
\providecommand{\publicationstatus}{P. Cabalar, F. Fabiano, M. Gebser, G. Gupta and Th. Swift (Eds.):\\ 40th International Conference on Logic Programming (ICLP 2024)\\
EPTCS ??, 2024, pp.\ \pageref*{FirstPage}--\pageref{LastPage},
doi:\href{http://dx.doi.org/10.4204/EPTCS.??.12}{10.4204/EPTCS.??.12}}
\pdfoutput=1