31st International Conference on Logic Programming, 20-27 September (virtual). tr [Internet]. 2021 Nov. 1 [cited 2026 Jul. 27];15(5). Available from: https://test-ojs-unimi-it.archicoop.it/index.php/thereasoner/article/view/24285