“31st International Conference on Logic Programming, 20-27 September (virtual)” (2021) The Reasoner, 15(5). Available at: https://test-ojs-unimi-it.archicoop.it/index.php/thereasoner/article/view/24285 (Accessed: 27 July 2026).