Url
	https://chloe.cnr.it/s/DHeLO/item/13380
Resource class
	fabio:ConferencePaper
Creator
	Cantone, Domenico
	Asmundo, Marianna Nicolosi
	Santamaria, Daniele Francesco
	Trapani, Francesca
Publisher
	CEUR-WS
Date
	2015
Language
	eng
Is Part Of
	Proceedings of the 30th Italian Conference of Computational Logic
Editor
	Ancona, Davide
	Maratea, Marco
	Mascardi, Viviana
Pages
	122-127
Volume
	1459
Homepage
	https://www.zotero.org/groups/5293298/bidiar/items/HIVXUA4K/item-list

--