{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:13:56Z","timestamp":1725549236174},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540238416"},{"type":"electronic","value":"9783540304821"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30482-1_33","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T16:27:38Z","timestamp":1267460858000},"page":"391-402","source":"Crossref","is-referenced-by-count":1,"title":["Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs"],"prefix":"10.1007","author":[{"given":"Carsten","family":"Sinz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"K\u00fcchlin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/3-540-45517-5_21","volume-title":"Engineering of Intelligent Systems","author":"D. B\u00fchler","year":"2001","unstructured":"B\u00fchler, D., K\u00fcchlin, W.: Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection. In: Monostori, L., V\u00e1ncza, J., Ali, M. (eds.) IEA\/AIE 2001. LNCS (LNAI), vol.\u00a02070, p. 175. Springer, Heidelberg (2001)"},{"key":"33_CR2","volume-title":"Future Perfect","author":"S.M. Davis","year":"1987","unstructured":"Davis, S.M.: Future Perfect. Addison-Wesley, Reading (1987)"},{"key":"33_CR3","unstructured":"Kaiser, A.: A SAT-based propositional prover for consistency checking of automotive product data. Technical report, WSI-2001-16, University of T\u00fcbingen (2001)"},{"issue":"1\u20132","key":"33_CR4","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1023\/A:1006370506164","volume":"24","author":"W. K\u00fcchlin","year":"2000","unstructured":"K\u00fcchlin, W., Sinz, C.: Proving consistency assertions for automotive product data management. J. Automated Reasoning\u00a024(1\u20132), 145\u2013163 (2000)","journal-title":"J. Automated Reasoning"},{"key":"33_CR5","unstructured":"Mittal, S., Frayman, F.: Towards a generic model of configuration tasks. In: Proc. of the 11th Intl. Joint Conf. on Artificial Intelligence, Detroit, MI, August 1989, pp. 1395\u20131401 (1989)"},{"issue":"4","key":"33_CR6","first-page":"333","volume":"12","author":"D.L. McGuiness","year":"1998","unstructured":"McGuiness, D.L., Wright, J.R.: Conceptual modelling for configuration: A description logic-based approach. AI EDAM\u00a012(4), 333\u2013344 (1998)","journal-title":"AI EDAM"},{"issue":"2","key":"33_CR7","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/514183.514186","volume":"2","author":"C. Nentwich","year":"2002","unstructured":"Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A.: XLinkIt: A consistency checking and smart link generation service. ACM Transactions on Internet Technology\u00a02(2), 151\u2013185 (2002)","journal-title":"ACM Transactions on Internet Technology"},{"key":"33_CR8","series-title":"Electronic Notes in Discrete Mathematics","volume-title":"LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001)","author":"C. Sinz","year":"2001","unstructured":"Sinz, C., Blochinger, W., K\u00fcchlin, W.: PaSAT - parallel SAT-checking with lemma exchange: Implementation and applications. In: Kautz, H., Selman, B. (eds.) LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001), Boston, MA, June 2001. Electronic Notes in Discrete Mathematics, vol.\u00a09. Elsevier Science Publishers, Amsterdam (2001)"},{"issue":"1","key":"33_CR9","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1017\/S0890060403171065","volume":"17","author":"C. Sinz","year":"2003","unstructured":"Sinz, C., Kaiser, A., K\u00fcchlin, W.: Formal methods for the validation of automotive product configuration data. Artificial Intelligence for Engineering Design, Analysis and Manufacturing\u00a017(1), 75\u201397 (2003) (Special issue on configuration)","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"key":"33_CR10","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1109\/QSIC.2003.1319113","volume-title":"Proc. of the 3rd International Conference on Quality Software (QSIC 2003)","author":"C. Sinz","year":"2003","unstructured":"Sinz, C., Khosravizadeh, A., K\u00fcchlin, W., Mihajlovski, V.: Verifying CIM models of Apache web server configurations. In: Proc. of the 3rd International Conference on Quality Software (QSIC 2003), Dallas, TX, November 2003, pp. 290\u2013297. IEEE Computer Society Press, Los Alamitos (2003)"},{"issue":"4","key":"33_CR11","first-page":"357","volume":"12","author":"T. Soininen","year":"1998","unstructured":"Soininen, T., Tiihonen, J., M\u00e4nnist\u00f6, T., Sulonen, R.: Towards a general ontology of configuration. AI EDAM\u00a012(4), 357\u2013372 (1998)","journal-title":"AI EDAM"},{"issue":"4","key":"33_CR12","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/5254.708432","volume":"13","author":"D. Sabin","year":"1998","unstructured":"Sabin, D., Weigel, R.: Product configuration frameworks \u2013 a survey. IEEE Intelligent Systems\u00a013(4), 42\u201349 (1998)","journal-title":"IEEE Intelligent Systems"},{"key":"33_CR13","doi-asserted-by":"crossref","unstructured":"Tseitin, G.S.: On the complexity of derivation in propositional calculus. In: Silenko, A.O. (ed.) Studies in Constructive Mathematics and Mathematical Logic, pp. 115\u2013125 (1970)","DOI":"10.1007\/978-1-4899-5327-8_25"},{"key":"33_CR14","unstructured":"XML Schema Parts 0\u20132: Primer, Structures, Datatypes. W3C Recommendation (May 2001)"},{"key":"33_CR15","unstructured":"XML Path Language 2.0. W3C Working Draft (April 2002)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30482-1_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:54:38Z","timestamp":1605761678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30482-1_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540238416","9783540304821"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30482-1_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}