Url https://chloe.cnr.it/s/DHeLO/item/13383 Resource class fabio:ConferencePaper Creator Brancato, Rodolfo Nicolosi-Asmundo, Marianna Pagano, Grazia Santamaria, Francesco Ucchino, Salvatore Publisher CEUR-WS Date 2019 Language eng Is Part Of Proceedings of the 34 th Italian Conference on Computational Logic (Trieste 2019) Editor Casagrande, Alberto Omodeo, Eugenio Pages 59-67 Volume 2396 Homepage https://www.zotero.org/groups/5293298/bidiar/items/7T5VAKHP/item-list --