Matti Berthold, Matthias Knorr, and Daphne Odekerken. Proceedings 39th international conference on logic programming. Electron. Proc. Theor. Comput. Sci., (385):321--323, Open Publishing Association, September 2023. [PUMA: logic nopdf programming]