{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T11:38:22Z","timestamp":1769600302424,"version":"3.49.0"},"reference-count":57,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2020,1,3]],"date-time":"2020-01-03T00:00:00Z","timestamp":1578009600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,3]],"date-time":"2020-01-03T00:00:00Z","timestamp":1578009600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100006280","name":"Ministerio de Ciencia y Tecnolog\u00eda","doi-asserted-by":"publisher","award":["ECLIPSE"],"award-info":[{"award-number":["ECLIPSE"]}],"id":[{"id":"10.13039\/501100006280","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"publisher","award":["METAMORFOSIS"],"award-info":[{"award-number":["METAMORFOSIS"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008815","name":"Libera Universit\u00e0 di Bolzano","doi-asserted-by":"publisher","award":["KENDO and REKAP"],"award-info":[{"award-number":["KENDO and REKAP"]}],"id":[{"id":"10.13039\/501100008815","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Knowl Inf Syst"],"published-print":{"date-parts":[[2020,7]]},"DOI":"10.1007\/s10115-019-01431-5","type":"journal-article","created":{"date-parts":[[2020,1,3]],"date-time":"2020-01-03T13:02:51Z","timestamp":1578056571000},"page":"2653-2683","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Verifying the manipulation of data objects according to business process and data models"],"prefix":"10.1007","volume":"62","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0067-2662","authenticated-orcid":false,"given":"Jos\u00e9 Miguel","family":"P\u00e9rez-\u00c1lvarez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mar\u00eda Teresa","family":"G\u00f3mez-L\u00f3pez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rik","family":"Eshuis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael M.","family":"Gasca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,1,3]]},"reference":[{"key":"1431_CR1","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.knosys.2017.01.011","volume":"121","author":"J El-Qurna","year":"2017","unstructured":"El-Qurna J, Yahyaoui H, Almulla M (2017) A new framework for the verification of service trust behaviors. Knowl Based Syst 121:7\u201322. https:\/\/doi.org\/10.1016\/j.knosys.2017.01.011","journal-title":"Knowl Based Syst"},{"key":"1431_CR2","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.compind.2018.08.001","volume":"102","author":"JM P\u00e9rez-\u00c1lvarez","year":"2018","unstructured":"P\u00e9rez-\u00c1lvarez JM, Mat\u00e9 A, L\u00f3pez MTG, Trujillo J (2018) Tactical business-process-decision support based on KPIs monitoring and validation. Comput Ind 102:23\u201339","journal-title":"Comput Ind"},{"key":"1431_CR3","doi-asserted-by":"publisher","unstructured":"Reichert M (2012) Process and data: two sides of the same coin? In: On the Move to Meaningful Internet Systems: OTM 2012, confederated international conferences: CoopIS, DOA\u2013SVI, and ODBASE 2012, Rome, 10\u201314 September 2012. Proceedings, Part I, pp 2\u201319. https:\/\/doi.org\/10.1007\/978-3-642-33606-5_2","DOI":"10.1007\/978-3-642-33606-5_2"},{"key":"1431_CR4","doi-asserted-by":"publisher","unstructured":"Calvanese D, De Giacomo G, Montali M (2013) Foundations of data-aware process analysis: a database theory perspective. In: Proceedings of the 32nd symposium on principles of database systems, PODS \u201913, ACM, New York, pp 1\u201312. https:\/\/doi.org\/10.1145\/2463664.2467796","DOI":"10.1145\/2463664.2467796"},{"key":"1431_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25037-3","volume-title":"Process Analytics\u2014Concepts and Techniques for Querying and Analyzing Process Data","author":"SMR Beheshti","year":"2016","unstructured":"Beheshti SMR, Benatallah B, Sakr S, Grigori D, Motahari-Nezhad HR, Barukh MC, Gater A, Ryu SH (2016) Process Analytics\u2014Concepts and Techniques for Querying and Analyzing Process Data. Springer, New York. https:\/\/doi.org\/10.1007\/978-3-319-25037-3"},{"issue":"3","key":"1431_CR6","first-page":"5","volume":"31","author":"A Meyer","year":"2011","unstructured":"Meyer A, Smirnov S, Weske M (2011) Data in business processes. EMISA. Forum 31(3):5\u201331","journal-title":"Forum"},{"key":"1431_CR7","unstructured":"BPMN Task Force (2011) Business Process Model and Notation (BPMN) Version 2.0. Object Management Group. OMG Document Number formal, 03 January 2011"},{"key":"1431_CR8","volume-title":"Business Process Management: Concepts, Languages, Architectures","author":"M Weske","year":"2007","unstructured":"Weske M (2007) Business Process Management: Concepts, Languages, Architectures. Springer, New York"},{"key":"1431_CR9","doi-asserted-by":"crossref","unstructured":"De\u00a0Masellis R, Di\u00a0Francescomarino C, Ghidini C, Montali M, Tessaris S (2017) Add data into business process verification: bridging the gap between theory and practice. In: Proceedings of the 31st AAAI conference on artificial intelligence (AAAI 2017). AAAI Press, San Francisco","DOI":"10.1609\/aaai.v31i1.10688"},{"key":"1431_CR10","doi-asserted-by":"publisher","first-page":"10","DOI":"10.3390\/app8102008","volume":"8","author":"L Parody","year":"2018","unstructured":"Parody L, G\u00f3mez-L\u00f3pez MT, Varela-Vaca \u00c1J, Gasca RM (2018) Business process configuration according to data dependency specification. Appl Sci 8:10. https:\/\/doi.org\/10.3390\/app8102008","journal-title":"Appl Sci"},{"key":"1431_CR11","unstructured":"OMG: Object Management Group, Business Process Model and Notation (BPMN) Version 2.0. OMG Standard (2011)"},{"issue":"4","key":"1431_CR12","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1287\/isre.1060.0105","volume":"17","author":"SX Sun","year":"2006","unstructured":"Sun SX, Zhao JL, Nunamaker JF, Sheng ORL (2006) Formulating the data-flow perspective for business process management. Inf Syst Res 17(4):374\u2013391","journal-title":"Inf Syst Res"},{"key":"1431_CR13","doi-asserted-by":"publisher","unstructured":"Hull, R.: Artifact-centric business process models: brief survey of research results and challenges. In: Proceedings of the OTM 2008 confederated international conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on the move to meaningful internet systems, OTM \u201908, pp 1152\u20131163. Springer, Monterrey (2008). https:\/\/doi.org\/10.1007\/978-3-540-88873-4_17","DOI":"10.1007\/978-3-540-88873-4_17"},{"key":"1431_CR14","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.infsof.2015.02.010","volume":"62","author":"D Borrego","year":"2015","unstructured":"Borrego D, Gasca RM, G\u00f3mez-L\u00f3pez MT (2015) Automating correctness verification of artifact-centric business process models. Inf Softw Technol 62:187\u2013197. https:\/\/doi.org\/10.1016\/j.infsof.2015.02.010","journal-title":"Inf Softw Technol"},{"key":"1431_CR15","doi-asserted-by":"publisher","unstructured":"Calvanese D, Montali M, Esta\u00f1ol M, Teniente E (2014) Verifiable UML artifact-centric business process models. In: Proceedings of the 23rd ACM international conference on conference on information and knowledge management, CIKM 2014, Shanghai 3\u20137 November 2014, pp 1289\u20131298. https:\/\/doi.org\/10.1145\/2661829.2662050","DOI":"10.1145\/2661829.2662050"},{"key":"1431_CR16","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1016\/j.is.2015.03.008","volume":"53","author":"A Meyer","year":"2015","unstructured":"Meyer A, Pufahl L, Batoulis K, Fahland D, Weske M (2015) Automating data exchange in process choreographies. Inf Syst 53:296\u2013329. https:\/\/doi.org\/10.1016\/j.is.2015.03.008","journal-title":"Inf Syst"},{"key":"1431_CR17","first-page":"15","volume-title":"International Workshop on Business Process Intelligence, BPI 2010","author":"MT G\u00f3mez-L\u00f3pez","year":"2010","unstructured":"G\u00f3mez-L\u00f3pez MT, Gasca RM (2010) Run-time monitoring and auditing for business processes data using constraints. International Workshop on Business Process Intelligence, BPI 2010. Springer, Hoboken, pp 15\u201325"},{"key":"1431_CR18","unstructured":"Weber I, Hoffmann J, Mendling J (2008) Semantic business process validation. In: 3rd international workshop on Semantic Business Process Management"},{"issue":"2","key":"1431_CR19","first-page":"29","volume":"23","author":"MT G\u00f3mez-L\u00f3pez","year":"2014","unstructured":"G\u00f3mez-L\u00f3pez MT, Gasca RM, P\u00e9rez-\u00c1lvarez JM (2014) Decision-making support for the correctness of input data at runtime in business processes. Int J Coop Inf Syst 23(2):29","journal-title":"Int J Coop Inf Syst"},{"key":"1431_CR20","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-319-67271-7_2","volume-title":"Conceptual Modeling Perspectives","author":"J Cabot","year":"2017","unstructured":"Cabot J, G\u00f3mez C, Sancho M, Teniente E (2017) 30 years of contributions to conceptual modeling. Conceptual Modeling Perspectives. Springer, New York, pp 7\u201323"},{"key":"1431_CR21","unstructured":"Group OM (2015) Unified modeling language reference manual, Version 2.5. OMG Standard"},{"key":"1431_CR22","doi-asserted-by":"crossref","unstructured":"Meyer A, Pufahl L, Fahland D, Weske M (2013) Modeling and enacting complex data dependencies in business processes. In: BPM, pp 171\u2013186","DOI":"10.1007\/978-3-642-40176-3_14"},{"key":"1431_CR23","doi-asserted-by":"publisher","unstructured":"G\u00f3mez-L\u00f3pez MT, Borrego D, Gasca RM (2014) Data state description for the migration to activity-centric business process model maintaining legacy databases. In: Business information systems\u201317th international conference, BIS 2014, Larnaca, 22\u201323 May 2014. Proceedings, pp 86\u201397. https:\/\/doi.org\/10.1007\/978-3-319-06695-0_8","DOI":"10.1007\/978-3-319-06695-0_8"},{"key":"1431_CR24","doi-asserted-by":"crossref","unstructured":"Revesz P (2010) Introduction to databases","DOI":"10.1007\/978-1-84996-095-3"},{"issue":"15","key":"1431_CR25","doi-asserted-by":"publisher","first-page":"6773","DOI":"10.1016\/j.eswa.2014.04.047","volume":"41","author":"MT G\u00f3mez-L\u00f3pez","year":"2014","unstructured":"G\u00f3mez-L\u00f3pez MT, Gasca RM (2014) Using constraint programming in selection operators for constraint databases. Expert Syst Appl 41(15):6773\u20136785. https:\/\/doi.org\/10.1016\/j.eswa.2014.04.047","journal-title":"Expert Syst Appl"},{"key":"1431_CR26","series-title":"Foundations of Artificial Intelligence","volume-title":"Handbook of Constraint Programming","author":"F Rossi","year":"2006","unstructured":"Rossi F, Pv Beek, Walsh T (2006) Handbook of Constraint Programming. Foundations of Artificial Intelligence. Elsevier Science Inc., New York"},{"key":"1431_CR27","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.is.2014.07.007","volume":"48","author":"MT G\u00f3mez-L\u00f3pez","year":"2015","unstructured":"G\u00f3mez-L\u00f3pez MT, Gasca RM, P\u00e9rez-\u00c1lvarez JM (2015) Compliance validation and diagnosis of business data constraints in business processes at runtime. Inf Syst 48:26\u201343. https:\/\/doi.org\/10.1016\/j.is.2014.07.007","journal-title":"Inf Syst"},{"key":"1431_CR28","series-title":"The Morgan Kaufmann Series in Artificial Intelligence","volume-title":"Constraint Processing","author":"R Dechter","year":"2003","unstructured":"Dechter R (2003) Constraint Processing. The Morgan Kaufmann Series in Artificial Intelligence. Morgan Kaufmann, San Francisco"},{"key":"1431_CR29","unstructured":"Vennam S, Dezhgosha K (2009) Application development with object relational mapping framework-hibernate. In: International conference on internet computing, pp 166\u2013169. CSREA Press, Athens"},{"key":"1431_CR30","unstructured":"Rademakers T (2015) Activiti Documentation http:\/\/activiti.org\/"},{"key":"1431_CR31","unstructured":"xText Documentation (2015). https:\/\/www.eclipse.org\/Xtext\/"},{"key":"1431_CR32","unstructured":"Prud\u2019homme C, Fages JG, Lorca X (2014) Choco3 Documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING S.A.S. http:\/\/www.choco-solver.org"},{"key":"1431_CR33","unstructured":"G\u00f3mez-L\u00f3pez MT, Reina-Quintero A, Gasca R (2011) Model-driven engineering for constraint database query evaluation. In: First workshop model-driven engineering, Logic and Optimization: Friends or Foes"},{"issue":"2","key":"1431_CR34","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0306-4379(00)00012-0","volume":"25","author":"W Sadiq","year":"2000","unstructured":"Sadiq W, Orlowska M (2000) Analyzing process models using graph reduction techniques. Inf Syst 25(2):117\u2013134","journal-title":"Inf Syst"},{"issue":"3","key":"1431_CR35","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"WMP van der Aalst","year":"2011","unstructured":"van der Aalst WMP, van Hee KM, ter Hofstede AHM, Sidorova N, Verbeek HMW, Voorhoeve M, Wynn MT (2011) Soundness of workflow nets: classification, decidability, and analysis. Form Asp Comput 23(3):333\u2013363. https:\/\/doi.org\/10.1007\/s00165-010-0161-4","journal-title":"Form Asp Comput"},{"key":"1431_CR36","doi-asserted-by":"publisher","first-page":"816","DOI":"10.1016\/j.datak.2010.03.003","volume":"69","author":"R Eshuis","year":"2010","unstructured":"Eshuis R, Kumar A (2010) An integer programming based approach for verification and diagnosis of workflows. Data Knowl Eng 69:816\u2013835","journal-title":"Data Knowl Eng"},{"issue":"7","key":"1431_CR37","doi-asserted-by":"publisher","first-page":"1026","DOI":"10.1016\/j.is.2011.04.004","volume":"36","author":"N Sidorova","year":"2011","unstructured":"Sidorova N, Stahl C, Trcka N (2011) Soundness verification for conceptual workflow nets with data: early detection of errors with the most precision possible. Inf Syst 36(7):1026\u20131043. https:\/\/doi.org\/10.1016\/j.is.2011.04.004","journal-title":"Inf Syst"},{"key":"1431_CR38","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/j.datak.2013.04.008","volume":"87","author":"D Borrego","year":"2013","unstructured":"Borrego D, Eshuis R, G\u00f3mez-L\u00f3pez MT, Gasca RM (2013) Diagnosing correctness of semantic workflow models. Data Knowl Eng 87:167\u2013184","journal-title":"Data Knowl Eng"},{"key":"1431_CR39","unstructured":"UML Revision Taskforce: OMG Unified Modeling Language. Object Management Group"},{"issue":"4","key":"1431_CR40","doi-asserted-by":"publisher","first-page":"1481","DOI":"10.1007\/s10270-013-0386-9","volume":"14","author":"G Reggio","year":"2015","unstructured":"Reggio G, Ricca F, Scanniello G, Cerbo FD, Dodero G (2015) On the comprehension of workflows modeled with a precise style: results from a family of controlled experiments. Softw Syst Model 14(4):1481\u20131504. https:\/\/doi.org\/10.1007\/s10270-013-0386-9","journal-title":"Softw Syst Model"},{"key":"1431_CR41","doi-asserted-by":"crossref","unstructured":"K\u00fcster JM, Ryndina K, Gall H (2007) Generation of business process models for object life cycle compliance. In: Proc. BPM, pp 165\u2013181","DOI":"10.1007\/978-3-540-75183-0_13"},{"issue":"4","key":"1431_CR42","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1080\/10580530802384324","volume":"25","author":"G Redding","year":"2008","unstructured":"Redding G, Dumas M, ter Hofstede AHM, Iordachescu A (2008) Generating business process models from object behavior models. IS Manag 25(4):319\u2013331. https:\/\/doi.org\/10.1080\/10580530802384324","journal-title":"IS Manag"},{"issue":"1","key":"1431_CR43","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/s10270-014-0406-4","volume":"15","author":"R Eshuis","year":"2016","unstructured":"Eshuis R, Gorp PV (2016) Synthesizing object life cycles from business process models. Softw Syst Model 15(1):281\u2013302. https:\/\/doi.org\/10.1007\/s10270-014-0406-4","journal-title":"Softw Syst Model"},{"key":"1431_CR44","doi-asserted-by":"crossref","unstructured":"Kunchala J, Yu J, Sheng QZ, Han Y, Yongchareon S (2015) Synthesis of artifact lifecycles from activity-centric process models. In: Hall\u00e9 S, Mayer W, Ghose AK, Grossmann G (eds.) 19th IEEE international enterprise distributed object computing conference, EDOC 2015, Adelaide, 21\u201325 September 2015, pp 29\u201337. IEEE Computer Society","DOI":"10.1109\/EDOC.2015.14"},{"issue":"4","key":"1431_CR45","doi-asserted-by":"publisher","first-page":"14","DOI":"10.4018\/jdm.2010100102","volume":"21","author":"R Liu","year":"2010","unstructured":"Liu R, Wu FY, Kumaran S (2010) Transforming activity-centric business process models into information-centric models for soa solutions. J Database Manag 21(4):14\u201334","journal-title":"J Database Manag"},{"key":"1431_CR46","doi-asserted-by":"crossref","unstructured":"Meyer A, Weske M (2014) Activity-centric and artifact-centric process model roundtrip. In: Lohmann N, Song M, Wohed P (eds.) Proceedings business process management workshops 2013, Revised Papers, Lecture Notes in Business Information Processing, vol 171, pp 167\u2013181. Springer, Berlin","DOI":"10.1007\/978-3-319-06257-0_14"},{"key":"1431_CR47","doi-asserted-by":"publisher","unstructured":"Cruz EF, Machado RJ, Santos MY (2012) From business process modeling to data model: a systematic approach. In: Faria JP, da Silva AR, Machado RJ (eds.) 8th International conference on the quality of information and communications technology, QUATIC 2012, Lisbon, Portugal, 2\u20136 September 2012, Proceedings, pp 205\u2013210. https:\/\/doi.org\/10.1109\/QUATIC.2012.31","DOI":"10.1109\/QUATIC.2012.31"},{"key":"1431_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/978-3-540-89897-9_6","volume-title":"ServiceWave","author":"C Mayr","year":"2008","unstructured":"Mayr C, Zdun U, Dustdar S (2008) Model-driven integration and management of data access objects in process-driven soas. In: M\u00e4h\u00f6nen P, Pohl K, Priol T (eds) ServiceWave, vol 5377. Lecture Notes in Computer Science. Springer, Berlin, pp 62\u201373"},{"issue":"9","key":"1431_CR49","doi-asserted-by":"publisher","first-page":"794","DOI":"10.1016\/j.datak.2011.05.004","volume":"70","author":"C Mayr","year":"2011","unstructured":"Mayr C, Zdun U, Dustdar S (2011) View-based model-driven architecture for enhancing maintainability of data access services. Data Knowl Eng 70(9):794\u2013819","journal-title":"Data Knowl Eng"},{"key":"1431_CR50","unstructured":"Valencia-Parra A, Varela-Vaca \u00c1J, L\u00f3pez MTG, Ceravolo P (2019) Chamaleon: Framework to improve data wrangling with complex data. In: International conference on information systems ICIS 2019, Munich, 15\u201318 December 2019"},{"issue":"3","key":"1431_CR51","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1147\/sj.423.0428","volume":"42","author":"A Nigam","year":"2003","unstructured":"Nigam A, Caswell NS (2003) Business artifacts: an approach to operational specification. IBM Syst J 42(3):428\u2013445. https:\/\/doi.org\/10.1147\/sj.423.0428","journal-title":"IBM Syst J"},{"issue":"3","key":"1431_CR52","first-page":"3","volume":"32","author":"D Cohn","year":"2009","unstructured":"Cohn D, Hull R (2009) Business artifacts: a data-centric approach to modeling business operations and processes. IEEE Data Eng Bull 32(3):3\u20139","journal-title":"IEEE Data Eng Bull"},{"issue":"4","key":"1431_CR53","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1002\/smr.524","volume":"23","author":"V K\u00fcnzle","year":"2011","unstructured":"K\u00fcnzle V, Reichert M (2011) Philharmonicflows: towards a framework for object-aware process management. J Softw Maint 23(4):205\u2013244","journal-title":"J Softw Maint"},{"key":"1431_CR54","unstructured":"N, L (2011) Compliance by design for artifact-centric business processes. In: BPM 2011 LNCS vol 6896 Springer, Berlin, pp 99\u2013115"},{"key":"1431_CR55","first-page":"434","volume":"2015","author":"M Esta\u00f1ol","year":"2015","unstructured":"Esta\u00f1ol M, Sancho M, Teniente E (2015) Verification and validation of UML artifact-centric business process models. CAiSE 2015:434\u2013449","journal-title":"CAiSE"},{"key":"1431_CR56","doi-asserted-by":"publisher","unstructured":"Sun Y, Su J, Wu B, Yang J (2014) Modeling data for business processes. In: Cruz IF, Ferrari E, Tao Y, Bertino E, Trajcevski G (eds.) IEEE 30th international conference on data engineering, Chicago, ICDE 2014, March 31\u2013April 4, 2014, pp 1048\u20131059. https:\/\/doi.org\/10.1109\/ICDE.2014.6816722","DOI":"10.1109\/ICDE.2014.6816722"},{"key":"1431_CR57","unstructured":"Cheeseman P, Kanefsky B, Taylor WM (1991) Where the really hard problems are. In: Proceedings of the 12th international joint conference on Artificial intelligence-Vol 1, IJCAI\u201991, pp 331\u2013337. Morgan Kaufmann Publishers Inc., San Francisco"}],"container-title":["Knowledge and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-019-01431-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10115-019-01431-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-019-01431-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,9]],"date-time":"2022-10-09T21:12:27Z","timestamp":1665349947000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10115-019-01431-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,3]]},"references-count":57,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2020,7]]}},"alternative-id":["1431"],"URL":"https:\/\/doi.org\/10.1007\/s10115-019-01431-5","relation":{},"ISSN":["0219-1377","0219-3116"],"issn-type":[{"value":"0219-1377","type":"print"},{"value":"0219-3116","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,1,3]]},"assertion":[{"value":"26 July 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 December 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 December 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 January 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}