{
    "url": "https://chloe.cnr.it/s/DHeLO/item/13380",
    "o:resource_class": "fabio:ConferencePaper",
    "dcterms:creator": [
        "Cantone, Domenico",
        "Asmundo, Marianna Nicolosi",
        "Santamaria, Daniele Francesco",
        "Trapani, Francesca"
    ],
    "dcterms:publisher": [
        "CEUR-WS"
    ],
    "dcterms:date": [
        "2015"
    ],
    "dcterms:language": [
        "eng"
    ],
    "dcterms:isPartOf": [
        "Proceedings of the 30th Italian Conference of Computational Logic"
    ],
    "bibo:editor": [
        "Ancona, Davide",
        "Maratea, Marco",
        "Mascardi, Viviana"
    ],
    "bibo:pages": [
        "122-127"
    ],
    "bibo:volume": [
        "1459"
    ],
    "foaf:homepage": [
        "https://www.zotero.org/groups/5293298/bidiar/items/HIVXUA4K/item-list"
    ]
},