{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:25:22Z","timestamp":1725495922671},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540770091"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77010-7_10","type":"book-chapter","created":{"date-parts":[[2007,11,22]],"date-time":"2007-11-22T04:39:56Z","timestamp":1195706396000},"page":"91-102","source":"Crossref","is-referenced-by-count":3,"title":["Sequence Disunification and Its Application in Collaborative Schema Construction"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Coelho","sequence":"first","affiliation":[]},{"given":"M\u00e1rio","family":"Florido","sequence":"additional","affiliation":[]},{"given":"Temur","family":"Kutsia","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Snyder, W.: Unification theory. In: Handbook of Automated Reasoning, pp. 445\u2013532 (2001)","DOI":"10.1016\/B978-044450813-3\/50010-2"},{"issue":"4","key":"10_CR2","first-page":"591","volume":"41","author":"W.L. Buntine","year":"1994","unstructured":"Buntine, W.L., B\u00fcrckert, H.-J.: On solving equations and disequations. J.\u00a0ACM\u00a041(4), 591\u2013629 (1994)","journal-title":"J.\u00a0ACM"},{"key":"10_CR3","unstructured":"Coelho, J., Florido, M.: Unification with flexible arity symbols: a typed approach. In: UNIF 2006. Proc. 20th Int. Workshop on Unification, Seattle, USA (2006)"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Int. Workshop XML Research and Applications (XRA 2006)","author":"J. Coelho","year":"2006","unstructured":"Coelho, J., Florido, M.: VeriFLog: Constraint Logic Programming Applied to Verification of Website Content. In: Shen, H.T., Li, J., Li, M., Ni, J., Wang, W. (eds.) Int. Workshop XML Research and Applications (XRA 2006). LNCS, vol.\u00a03842, Springer, Heidelberg (2006)"},{"key":"10_CR5","volume-title":"2nd Int. Conf. on Internet and Web Applications and Services","author":"J. Coelho","year":"2007","unstructured":"Coelho, J., Florido, M.: Type-based static and dynamic website verification. In: 2nd Int. Conf. on Internet and Web Applications and Services, IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Coelho, J., Florido, M.: XCentric: A logic-programming language for XML processing. In: PLAN-X (2007)","DOI":"10.1145\/1316902.1316904"},{"key":"10_CR7","unstructured":"Comon, H.: Disunification: A survey. In: Computational Logic - Essays in Honor of Alan Robinson, pp. 322\u2013359 (1991)"},{"issue":"3\/4","key":"10_CR8","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/S0747-7171(89)80017-3","volume":"7","author":"H. Comon","year":"1989","unstructured":"Comon, H., Lescanne, P.: Equational problems and disunification. J.\u00a0Symb. Comput.\u00a07(3\/4), 371\u2013425 (1989)","journal-title":"J.\u00a0Symb. Comput."},{"issue":"1","key":"10_CR9","first-page":"83","volume":"26","author":"A. Doan","year":"2005","unstructured":"Doan, A., Halevy, A.Y.: Semantic integration research in the database community: A brief survey. AI Magazine\u00a026(1), 83\u201394 (2005)","journal-title":"AI Magazine"},{"key":"10_CR10","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"2007","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Adison-Wesley, London (2007)"},{"key":"10_CR11","first-page":"82","volume":"8","author":"D. Kensche","year":"2007","unstructured":"Kensche, D., Quix, C., Chatti, M.A., Jarke, M.: Gerome: A generic role based metamodel for model management. J. Data Semantics\u00a08, 82\u2013117 (2007)","journal-title":"J. Data Semantics"},{"key":"10_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45470-5_26","volume-title":"Artificial Intelligence, Automated Reasoning, and Symbolic Computation","author":"T. Kutsia","year":"2002","unstructured":"Kutsia, T.: Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. In: Calmet, J., Benhamou, B., Caprotti, O., Henocque, L., Sorge, V. (eds.) AISC 2002 and Calculemus 2002. LNCS (LNAI), vol.\u00a02385, Springer, Heidelberg (2002)"},{"issue":"2","key":"10_CR13","first-page":"47","volume":"157","author":"T. Kutsia","year":"2006","unstructured":"Kutsia, T.: Context sequence matching for XML. ENTCS\u00a0157(2), 47\u201365 (2006)","journal-title":"ENTCS"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1016\/j.jsc.2006.12.002","volume":"42","author":"T. Kutsia","year":"2007","unstructured":"Kutsia, T.: Solving equations with sequence variables and sequence functions. J.\u00a0Symb. Comp.\u00a042, 352\u2013388 (2007)","journal-title":"J.\u00a0Symb. Comp."},{"key":"10_CR15","unstructured":"Kutsia, T., Marin, M.: Can context sequence matching be used for querying XML? In: Proc UNIF 2005, pp. 77\u201392 (2005)"},{"issue":"1","key":"10_CR16","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/s00778-006-0024-z","volume":"16","author":"Y. Lee","year":"2007","unstructured":"Lee, Y., Sayyadian, M., Doan, A., Rosenthal, A.: eTuner: tuning schema matching software using synthetic scenarios. VLDB J.\u00a016(1), 97\u2013122 (2007)","journal-title":"VLDB J."},{"key":"10_CR17","volume-title":"SuperJournal Project","author":"D.J. Pullinger","year":"1994","unstructured":"Pullinger, D.J.: SuperJournal Project. IOP Publishing Ltd, Bristol (1994)"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","first-page":"127","volume-title":"CAiSE","author":"C. Quix","year":"2007","unstructured":"Quix, C., Kensche, D., Li, X.: Generic schema merging. In: CAiSE. LNCS, vol.\u00a04495, pp. 127\u2013141. Springer, Heidelberg (2007)"},{"issue":"4","key":"10_CR19","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/1041410.1041415","volume":"33","author":"E. Rahm","year":"2004","unstructured":"Rahm, E., Hai-Do, H., Massmann, S.: Matching large XML schemas. SIGMOD Rec.\u00a033(4), 26\u201331 (2004)","journal-title":"SIGMOD Rec."}],"container-title":["Lecture Notes in Computer Science","Web Information Systems Engineering \u2013 WISE 2007 Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77010-7_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:52:48Z","timestamp":1619520768000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77010-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540770091"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77010-7_10","relation":{},"subject":[]}}