{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T17:30:51Z","timestamp":1747157451139,"version":"3.40.3"},"publisher-location":"Cham","reference-count":50,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031150760"},{"type":"electronic","value":"9783031150777"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15077-7_1","type":"book-chapter","created":{"date-parts":[[2022,8,22]],"date-time":"2022-08-22T05:02:57Z","timestamp":1661144577000},"page":"1-23","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Automated Consistency Analysis for\u00a0Legal Contracts"],"prefix":"10.1007","author":[{"given":"Alan","family":"Khoja","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"K\u00f6lbl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Leue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R\u00fcdiger","family":"Wilhelmi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,8,23]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.entcs.2009.02.030","volume":"231","author":"P Balbiani","year":"2009","unstructured":"Balbiani, P., Broersen, J.M., Brunel, J.: Decision procedures for a deontic logic modeling temporal inheritance of obligations. Electron. Notes Theor. Comput. Sci. 231, 69\u201389 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"1_CR2","unstructured":"B\u00fcrgerliches Gesetzbuch, German Civil Code"},{"key":"1_CR3","unstructured":"Braegelmann, T., Kaulartz, M.: Rechtshandbuch Smart Contracts. C. H. Beck, Munich (2019)"},{"issue":"3","key":"1_CR4","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/s10506-020-09276-y","volume":"29","author":"AL Bonifacio","year":"2020","unstructured":"Bonifacio, A.L., Della Mura, W.A.: Automatically running experiments on checking multi-party contracts. Artif. Intell. Law 29(3), 287\u2013310 (2020). https:\/\/doi.org\/10.1007\/s10506-020-09276-y","journal-title":"Artif. Intell. Law"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-16289-3_15","volume-title":"Semantic Web Rules","author":"H Boley","year":"2010","unstructured":"Boley, H., Paschke, A., Shafiq, O.: RuleML 1.0: the overarching specification of web rules. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 162\u2013178. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16289-3_15"},{"key":"1_CR6","unstructured":"ContractCheck (2022). https:\/\/github.com\/sen-uni-kn\/ContractCheck"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-75292-9_8","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2007","author":"PF Castro","year":"2007","unstructured":"Castro, P.F., Maibaum, T.S.E.: A complete and compact propositional deontic logic. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol. 4711, pp. 109\u2013123. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75292-9_8"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-70525-3_4","volume-title":"Deontic Logic in Computer Science","author":"PF Castro","year":"2008","unstructured":"Castro, P.F., Maibaum, T.S.E.: A tableaux system for deontic action logic. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol. 5076, pp. 34\u201348. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-70525-3_4"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.jlamp.2017.05.002","volume":"91","author":"JJ Camilleri","year":"2017","unstructured":"Camilleri, J.J., Schneider, G.: Modelling and analysis of normative documents. J. Log. Algebraic Methods Program. 91, 33\u201359 (2017)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"1_CR11","unstructured":"Desai, N., Narendra, N.C., Singh, M.P.: Checking correctness of business contracts via commitments. In: AAMAS (2), pp. 787\u2013794. IFAAMAS (2008)"},{"key":"1_CR12","unstructured":"Engers, T., Gerrits, R., Boekenoogen, M., Glass\u00e9e, E., Kordelaar, P.: Power: using UML\/OCL for modeling legislation - an application report. In: 8th International Conference on Artificial Intelligence and Law, pp. 157\u2013167. Association for Computing Machinery (2001)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Faciano, C., et al.: Performance improvement on legal model checking. In: ICAIL, pp. 59\u201368. ACM (2017)","DOI":"10.1145\/3086512.3086518"},{"key":"1_CR14","unstructured":"Gor\u00edn, D., Mera, S., Schapachnik, F.: Model checking legal documents. In: JURIX, Frontiers in Artificial Intelligence and Applications, vol. 223, pp. 151\u2013154. IOS Press (2010)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Gor\u00edn, D., Mera, S., Schapachnik, F.: A software tool for legal drafting. In: FLACOS, EPTCS, vol. 68, pp. 71\u201386 (2011)","DOI":"10.4204\/EPTCS.68.7"},{"key":"1_CR16","unstructured":"Grupp, M.: Wie baut man einen rechtsautomaten? In: Hartung, M., Bues, M.-M., Halbleib, G. (eds.) Legal Tech, edge number: 1110. C.H. Beck (2018)"},{"key":"1_CR17","unstructured":"Gebele, A., Scholz, K.-S. (eds.): Beck\u2019sches Formularbuch B\u00fcrgerliches, Handels- und Wirtschaftsrecht, 14th edn. C.H. Beck (2022)"},{"issue":"2","key":"1_CR18","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.jlap.2011.04.010","volume":"81","author":"T Hvitved","year":"2012","unstructured":"Hvitved, T., Klaedtke, F., Zalinescu, E.: A trace-based model for multiparty contracts. J. Log. Algebraic Methods Program. 81(2), 72\u201398 (2012)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/978-3-030-54455-3_42","volume-title":"Financial Cryptography and Data Security","author":"F Henglein","year":"2020","unstructured":"Henglein, F., Larsen, C.K., Murawska, A.: A formally verified static analysis framework for compositional contracts. In: Bernhard, M., et al. (eds.) FC 2020. LNCS, vol. 12063, pp. 599\u2013619. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-54455-3_42"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Hill, C.A., Solomon, S.D.: Research Handbook on Mergers and Acquisitions. Edward Elgar Publishing, Cheltenham (2016)","DOI":"10.4337\/9781784711481"},{"key":"1_CR21","unstructured":"Kabilan, V.: Contract workflow model patterns using BPMN. In: EMMSAD, CEUR Workshop Proceedings, vol. 363, pp. 171\u2013182 (2005). CEUR-WS.org"},{"key":"1_CR22","unstructured":"Kabilan, V., Johannesson, P.: Semantic representation of contract knowledge using multi tier ontology. In: Cruz, I.F. Kashyap, V., Decker, S., Eckstein, R. (eds.) Proceedings of SWDB 2003, The First International Workshop on Semantic Web and Databases, Co-Located with VLDB 2003, Humboldt-Universit\u00e4t, Berlin, Germany, 7\u20138 September 2003, pp. 395\u2013414 (2003)"},{"key":"1_CR23","doi-asserted-by":"publisher","unstructured":"Kroening, D., Strichman, O.: Decision Procedures - An Algorithmic Point of View. Texts in Theoretical Computer Science. An EATCS Series, 2nd edn. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-540-74105-3","DOI":"10.1007\/978-3-540-74105-3"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Mura, W.A.D., Bonif\u00e1cio, A.L.: Devising a conflict detection method for multi-party contracts. In: SCCC, pp. 1\u20136. IEEE (2015)","DOI":"10.1109\/SCCC.2015.7416574"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Mart\u00ednez, E., D\u00edaz, G., Cambronero, M.-E., Schneider, G.: A model for visual specification of e-contracts. In: IEEE SCC, pp. 1\u20138. IEEE Computer Society (2010)","DOI":"10.1109\/SCC.2010.32"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Madaan, N., Radha Krishna, P., Karlapalem, K.: Consistency detection in e-contract documents. In: ICEGOV, pp. 267\u2013274. ACM (2014)","DOI":"10.1145\/2691195.2691249"},{"key":"1_CR27","unstructured":"Meyer-Sparenberg, W.: Unternehmenskaufvertrag (gmbh-anteile) - k\u00e4uferfreundlich. In: Gebele, A., Scholz, K.-S. (eds.) Beck\u2019sches Formularbuch B\u00fcrgerliches, Handels- und Wirtschaftsrecht. C.H. Beck (2022)"},{"key":"1_CR28","unstructured":"Meyer-Sparenberg, W.: Unternehmenskaufvertrag (gmbh-anteile) - verk\u00e4uferfreundlich. In: Gebele, A., Scholz, K.-S. (eds.) Beck\u2019sches Formularbuch B\u00fcrgerliches, Handels- und Wirtschaftsrecht. C.H. Beck (2022)"},{"key":"1_CR29","unstructured":"Meyer-Sparenberg, W., J\u00e4ckle, C. (eds.): Beck\u2019sches M &A-Handbuch: Planung, Gestaltung, Sonderformen, regulatorische Rahmenbedingungen und Streitbeilegung bei Mergers & Acquisitions, 2nd edn. C.H. Beck (2022)"},{"key":"1_CR30","unstructured":"OASIS Standard: LegalRuleML, version 1.0 (2021). https:\/\/docs.oasis-open.org\/legalruleml\/legalruleml-core-spec\/v1.0\/os\/legalruleml-core-spec-v1.0-os.pdf"},{"key":"1_CR31","unstructured":"Object Management Group: Business Process Model and Notation 2014. https:\/\/www.omg.org\/spec\/BPMN"},{"key":"1_CR32","unstructured":"Object Management Group: Unified Modelling Language, Specification 2.5.1 (2017). http:\/\/www.omg.org\/spec\/UML"},{"key":"1_CR33","unstructured":"Boris, P.: Paal and Martin Fries. Smart Contracts, Mohr Siebeck (2019)"},{"key":"1_CR34","unstructured":"Pfisterer, B.: Share deal. In: Weise, S., Krau\u00df, H.-F. (eds.) Beck\u2019sche Online-Formulare. C.H. Beck (2022)"},{"key":"1_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-642-24908-2_30","volume-title":"Rule - Based Modeling and Computing on the Semantic Web","author":"M Palmirani","year":"2011","unstructured":"Palmirani, M., Governatori, G., Rotolo, A., Tabet, S., Boley, H., Paschke, A.: LegalRuleML: XML-based rules and norms. In: Olken, F., Palmirani, M., Sottara, D. (eds.) RuleML 2011. LNCS, vol. 7018, pp. 298\u2013312. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24908-2_30"},{"key":"1_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-540-75596-8_8","volume-title":"Automated Technology for Verification and Analysis","author":"G Pace","year":"2007","unstructured":"Pace, G., Prisacariu, C., Schneider, G.: Model checking contracts \u2013 a case study. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol. 4762, pp. 82\u201397. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75596-8_8"},{"key":"1_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-72952-5_11","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"C Prisacariu","year":"2007","unstructured":"Prisacariu, C., Schneider, G.: A formal language for electronic contracts. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 174\u2013189. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72952-5_11"},{"issue":"4","key":"1_CR38","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1016\/j.jlap.2012.03.003","volume":"81","author":"C Prisacariu","year":"2012","unstructured":"Prisacariu, C., Schneider, G.: A dynamic deontic logic for complex contracts. J. Log. Algebraic Methods Program. 81(4), 458\u2013490 (2012)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"1_CR39","unstructured":"Seibt, C.H. (ed.): Beck\u2019sches Formularbuch Mergers & Acquisitions, 3rd edn. C.H. Beck (2018)"},{"key":"1_CR40","unstructured":"Seibt, C.H.: GmbH-Anteilskaufvertrag - ausf\u00fchrlich, k\u00e4uferfreundlich. In: Beck\u2019sches Formularbuch Mergers & Acquisitions, pp. 324\u2013456. C.H. Beck (2018)"},{"key":"1_CR41","unstructured":"Seibt, C.H.: Gmbh-anteilskaufvertrag - ausf\u00fchrlich, verk\u00e4uferfreundlich, deutsch. In: Beck\u2019sches Formularbuch Mergers & Acquisitions, pp. 233\u2013323. C.H. Beck, M\u00fcnchen (2018)"},{"key":"1_CR42","unstructured":"Seibt, C.H.: Gmbh-anteilskaufvertrag - knapp, ausgewogen. In: Beck\u2019sches Formularbuch Mergers & Acquisitions, pp. 515\u2013525. C.H. Beck (2018)"},{"key":"1_CR43","unstructured":"Seibt, C.H.: Gmbh-anteilskaufvertrag - knapp, verk\u00e4uferfreundlich. In: Beck\u2019sches Formularbuch Mergers & Acquisitions, pp. 457\u2013514. C.H. Beck (2018)"},{"key":"1_CR44","unstructured":"von Hoyenberg, P.: Share deal (GmbH, fester kaufpreis). In: Weipert, L., Arnhold, P., Baltus, M. (eds.) M\u00fcnchener Vertragshandbuch, pp. 228\u2013233. C.H. Beck (2020)"},{"key":"1_CR45","unstructured":"von Hoyenberg, P.: Share deal (GmbH, mit stichtagsbilanzierung). In: Weipert, L., Arnhold, P., Baltus, M. (eds.) M\u00fcnchener Vertragshandbuch, Beck-online B\u00fccher, pp. 203\u2013227. C.H. Beck (2020)"},{"issue":"237","key":"1_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"GHV Wright","year":"1951","unstructured":"Wright, G.H.V.: Deontic logic. Mind 60(237), 1\u201315 (1951)","journal-title":"Mind"},{"key":"1_CR47","unstructured":"Weipert, L., Arnhold, P., Baltus, M. (eds.): M\u00fcnchener Vertragshandbuch: Band 2, 8th edn. C.H. Beck (2020)"},{"key":"1_CR48","unstructured":"Wilhelmi, R.: \u00a7453. In: Gsell, B., Kr\u00fcger, W., Lorenz, S., Reymann, C. (eds.) Beck\u2019scher Online Gro\u00dfkommentar, edge note: 744\u2013782. C.H. Beck (2022)"},{"key":"1_CR49","unstructured":"Weise, S., Krau\u00df, H.-F. (eds.): Beck\u2019sche Online-Formulare: Vertrag. C.H. Beck (2022)"},{"key":"1_CR50","doi-asserted-by":"crossref","unstructured":"Wan, F., Singh, M.P.: Formalizing and achieving multiparty agreements via commitments. In: AAMAS, pp. 770\u2013777. ACM (2005)","DOI":"10.1145\/1082473.1082591"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15077-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,2]],"date-time":"2024-10-02T05:54:28Z","timestamp":1727848468000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15077-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031150760","9783031150777"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15077-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"23 August 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SPIN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Model Checking Software","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 May 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 May 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"spin2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/spin2022chi.web.illinois.edu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}