{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T15:12:10Z","timestamp":1726067530130},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030390808"},{"type":"electronic","value":"9783030390815"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-39081-5_35","type":"book-chapter","created":{"date-parts":[[2020,2,13]],"date-time":"2020-02-13T05:03:27Z","timestamp":1581570207000},"page":"402-409","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Numerical Problems in XBRL Reports and the Use of Blockchain as Trust Enabler"],"prefix":"10.1007","author":[{"given":"Gianfranco","family":"d\u2019Atri","sequence":"first","affiliation":[]},{"given":"Van Thanh","family":"Le","sequence":"additional","affiliation":[]},{"given":"Dino","family":"Garr\u00ec","sequence":"additional","affiliation":[]},{"given":"Stella","family":"d\u2019Atri","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,2,14]]},"reference":[{"key":"35_CR1","unstructured":"Cachin, C.: Architecture of the hyperledger blockchain fabric. In: Workshop on Distributed Cryptocurrencies and Consensus Ledgers (2016)"},{"issue":"1","key":"35_CR2","first-page":"17","volume":"5","author":"C Durtschi","year":"2004","unstructured":"Durtschi, C., Hillison, W., Pacini, C.: The effective use of benford\u2019s law to assist in detecting fraud in accounting data. J. Forensic Account. 5(1), 17\u201334 (2004)","journal-title":"J. Forensic Account."},{"key":"35_CR3","first-page":"126","volume":"3\u20136","author":"G D\u2019Atri","year":"2014","unstructured":"D\u2019Atri, G.: Logic-based consistency checking of XRBL instances. IJACT 3\u20136, 126\u2013131 (2014)","journal-title":"IJACT"},{"key":"35_CR4","first-page":"47","volume":"2019","author":"G D\u2019Atri","year":"2019","unstructured":"D\u2019Atri, G., Le, V.T., Ioini, N.E., Pahl, C.: Towards trustworthy financial reports using blockchain. Cloud Comput. 2019, 47 (2019)","journal-title":"Cloud Comput."},{"key":"35_CR5","series-title":"The Springer International Series in Engineering and Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-1-4615-1567-8_4","volume-title":"Logic-Based Artificial Intelligence","author":"T Eiter","year":"2000","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative problem-solving using the DLV system. In: Minker, J. (ed.) Logic-Based Artificial Intelligence. The Springer International Series in Engineering and Computer Science, vol. 597, pp. 79\u2013103. Springer, Boston (2000). \nhttps:\/\/doi.org\/10.1007\/978-1-4615-1567-8_4"},{"key":"35_CR6","unstructured":"Ethereum Foundation: Ethereum (2013). \nwww.ethereum.org\n\n. Accessed 10 Apr 2019"},{"key":"35_CR7","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1198\/tast.2009.0005","volume":"63","author":"R Fewster","year":"2009","unstructured":"Fewster, R.: A simple explanation of Benford\u2019s law. Am. Stat. 63, 26\u201332 (2009)","journal-title":"Am. Stat."},{"issue":"3","key":"35_CR8","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3), 365\u2013385 (1991). \nhttps:\/\/doi.org\/10.1007\/BF03037169","journal-title":"New Gener. Comput."},{"key":"35_CR9","unstructured":"Malhotra, R., Garritt, F.: Extensible business reporting language: the future of e-commerce-driven accounting. Int. J. Bus. 9(1) (2004)"},{"key":"35_CR10","unstructured":"Nakamoto, S., et al.: Bitcoin: a peer-to-peer electronic cash system (2008)"},{"key":"35_CR11","volume-title":"Bitcoin and Cryptocurrency Technologies: A Comprehensive Introduction","author":"A Narayanan","year":"2016","unstructured":"Narayanan, A., Bonneau, J., Felten, E., Miller, A., Goldfeder, S.: Bitcoin and Cryptocurrency Technologies: A Comprehensive Introduction. Princeton University Press, Princeton (2016)"},{"key":"35_CR12","unstructured":"NEO: NEO Smart Economy (2013). \nhttps:\/\/docs.neo.org\/docs\/en-us\/index.html\n\n. Accessed 06 Oct 2019"},{"key":"35_CR13","doi-asserted-by":"publisher","DOI":"10.1002\/9781119203094","volume-title":"Benford\u2019s Law: Applications for Forensic Accounting, Auditing, and Fraud Detection","author":"MJ Nigrini","year":"2012","unstructured":"Nigrini, M.J.: Benford\u2019s Law: Applications for Forensic Accounting, Auditing, and Fraud Detection, vol. 586. Wiley, Hoboken (2012)"},{"key":"35_CR14","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1093\/logcom\/exn042","volume":"19","author":"F Ricca","year":"2009","unstructured":"Ricca, F., Gallucci, L., Schindlauer, R., Dell\u2019Armi, T., Grasso, G., Leone, N.: Ontodlv: an ASP-based system for enterprise ontologies. J. Logic Comput. 19, 643\u2013670 (2009)","journal-title":"J. Logic Comput."},{"key":"35_CR15","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1016\/j.jal.2006.02.002","volume":"5","author":"F Ricca","year":"2007","unstructured":"Ricca, F., Leone, N.: Disjunctive logic programming with types and objects: the DLV+ system. J. Appl. Logic 5, 545\u2013573 (2007)","journal-title":"J. Appl. Logic"}],"container-title":["Lecture Notes in Computer Science","Numerical Computations: Theory and Algorithms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-39081-5_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,13]],"date-time":"2020-02-13T05:09:20Z","timestamp":1581570560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-39081-5_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030390808","9783030390815"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-39081-5_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"14 February 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NUMTA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Numerical Computations: Theory and Algorithms","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crotone","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"numta2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/si.deis.unical.it\/~yaro\/numta2019\/index.php","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}