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