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