%0 Journal Article %1 journals/ijecommerce/AlbertiCGLMMT08 %A Alberti, Marco %A Chesani, Federico %A Gavanelli, Marco %A Lamma, Evelina %A Mello, Paola %A Montali, Marco %A Torroni, Paolo %D 2008 %J Int. J. Electron. Commer. %K dblp %N 4 %P 9-38 %T Expressing and Verifying Business Contracts with Abductive Logic Programming. %U http://dblp.uni-trier.de/db/journals/ijecommerce/ijecommerce12.html#AlbertiCGLMMT08 %V 12

@article{journals/ijecommerce/AlbertiCGLMMT08, added-at = {2020-03-13T00:00:00.000+0100}, author = {Alberti, Marco and Chesani, Federico and Gavanelli, Marco and Lamma, Evelina and Mello, Paola and Montali, Marco and Torroni, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/2bf9d37d79d447f7f79492a47b3495f3a/dblp}, ee = {https://www.wikidata.org/entity/Q57977959}, interhash = {50a0df61f1fc9fd4df8bffcff19bc90c}, intrahash = {bf9d37d79d447f7f79492a47b3495f3a}, journal = {Int. J. Electron. Commer.}, keywords = {dblp}, number = 4, pages = {9-38}, timestamp = {2020-03-14T11:58:03.000+0100}, title = {Expressing and Verifying Business Contracts with Abductive Logic Programming.}, url = {http://dblp.uni-trier.de/db/journals/ijecommerce/ijecommerce12.html#AlbertiCGLMMT08}, volume = 12, year = 2008 }