{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T10:40:37Z","timestamp":1753440037477},"reference-count":0,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Electronic Commerce"],"published-print":{"date-parts":[[2008,7]]},"DOI":"10.2753\/jec1086-4415120401","type":"journal-article","created":{"date-parts":[[2008,6,24]],"date-time":"2008-06-24T01:15:11Z","timestamp":1214270111000},"page":"9-38","source":"Crossref","is-referenced-by-count":14,"title":["Expressing and Verifying Business Contracts with Abductive Logic Programming"],"prefix":"10.1080","volume":"12","author":[{"given":"Marco","family":"Alberti","sequence":"first","affiliation":[{"name":"a  Department of Engineering, University of Ferrara"}]},{"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[{"name":"b  Department of Electronics, Informatics, and Systems, University of Bologna"}]},{"given":"Marco","family":"Gavanelli","sequence":"additional","affiliation":[{"name":"c  Department of Engineering, Ferrara University"}]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[{"name":"d  Faculty of Engineering, University of Ferrara"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[{"name":"e  Faculty of Engineering, teaching artificial intelligence and foundations of computer science, University of Bologna"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[{"name":"f  Engineering Faculty, University of Bologna"}]},{"given":"Paolo","family":"Torroni","sequence":"additional","affiliation":[{"name":"g  Department of Electronic Engineering, University of Bologna's"}]}],"member":"301","published-online":{"date-parts":[[2014,12,8]]},"container-title":["International Journal of Electronic Commerce"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.2753\/JEC1086-4415120401","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,16]],"date-time":"2018-07-16T17:14:21Z","timestamp":1531761261000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.2753\/JEC1086-4415120401"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7]]},"references-count":0,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2014,12,8]]},"published-print":{"date-parts":[[2008,7]]}},"alternative-id":["10.2753\/JEC1086-4415120401"],"URL":"https:\/\/doi.org\/10.2753\/jec1086-4415120401","relation":{},"ISSN":["1086-4415","1557-9301"],"issn-type":[{"type":"print","value":"1086-4415"},{"type":"electronic","value":"1557-9301"}],"subject":[],"published":{"date-parts":[[2008,7]]}}}