{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:19Z","timestamp":1725663859179},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581567"},{"type":"electronic","value":"9783540484677"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58156-1_47","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:23:20Z","timestamp":1330269800000},"page":"650-664","source":"Crossref","is-referenced-by-count":1,"title":["Theory and practice of minimal modular higher-order E-unification"],"prefix":"10.1007","author":[{"given":"Olaf","family":"M\u00fcller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franz","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"unstructured":"Dougherty, D. and Johann, P.: A Combinatory Logic Approach to Higher-Order E-Unification. Proc. 11th Conf. Automated Deduction, LNCS 607 (1992), 79\u201393.","key":"47_CR1"},{"key":"47_CR2","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0304-3975(89)90004-2","volume":"67","author":"J. Gallier","year":"1988","unstructured":"Gallier, J. and Snyder, W.: Complete Sets of Transformations for General E- Unification. Theoretical Computer Science, 67 (1988), 203\u2013260.","journal-title":"Theoretical Computer Science"},{"key":"47_CR3","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0304-3975(75)90011-0","volume":"1","author":"G. Huet","year":"1975","unstructured":"Huet, G.: A Unification Algorithm for Typed \u03bb-Calculus. Theoretical Computer Science\n1 (1975), 27\u201357.","journal-title":"Theoretical Computer Science"},{"unstructured":"M\u00fcller, O.: Optimierung der modularen E-Unifikation h\u00f6herer Stufe \u2014 Implementierung und Analyse, master thesis, Karlsruhe 1993.","key":"47_CR4"},{"key":"47_CR5","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-53904-2_97","volume":"488","author":"T. Nipkow","year":"1991","unstructured":"Nipkow, T. and Qian, Z.: Modular Higher-Order E-Unification. Proc. 4th Int. Conf. Rewriting Techniques and Applications, LNCS 488 (1991), 200\u2013214.","journal-title":"Proc. 4th Int. Conf. Rewriting Techniques and Applications, LNCS"},{"unstructured":"Qian, Z. and Wang, K.: Higher-Order E-Unification for Arbitrary Theories. Proc. of 1992 Int. Joint Conf. and Symp. on Logic Programming, MIT Press, 1992.","key":"47_CR6"},{"key":"47_CR7","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/S0747-7171(89)80023-9","volume":"8","author":"W. Snyder","year":"1989","unstructured":"Snyder, W. and Gallier, J.: Higher-Order Unification Revisited: Complete Sets of Transformations. J. Symbolic Computation\n8 (1989), 101\u2013140.","journal-title":"J. Symbolic Computation"},{"unstructured":"Weber, F.: Softwareentwicklung mit Logik h\u00f6herer Stufe \u2014 eine Anwendung von Theoriededuktion auf interaktives Beweisen, PhD thesis, Karlsruhe 1993.","key":"47_CR8"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 CADE-12"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58156-1_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:11:57Z","timestamp":1619572317000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58156-1_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581567","9783540484677"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-58156-1_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}