{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:17:32Z","timestamp":1762460252858,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030138370"},{"type":"electronic","value":"9783030138387"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-13838-7_3","type":"book-chapter","created":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T22:15:23Z","timestamp":1550787323000},"page":"38-55","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms"],"prefix":"10.1007","author":[{"given":"Mar\u00eda","family":"Alpuente","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angel","family":"Cuenca-Ortega","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santiago","family":"Escobar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,2,23]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jsc.2014.09.028","volume":"69","author":"M Alpuente","year":"2015","unstructured":"Alpuente, M., Ballis, D., Frechina, F., Sapi\u00f1a, J.: Exploring conditional rewriting logic computations. J. Symbolic Comput. 69, 3\u201339 (2015)","journal-title":"J. Symbolic Comput."},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-63139-4_1","volume-title":"Logic-Based Program Synthesis and Transformation","author":"M Alpuente","year":"2017","unstructured":"Alpuente, M., Cuenca-Ortega, A., Escobar, S., Meseguer, J.: Partial evaluation of order-sorted equational programs modulo axioms. In: Hermenegildo, M.V., Lopez-Garcia, P. (eds.) LOPSTR 2016. LNCS, vol. 10184, pp. 3\u201320. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-63139-4_1"},{"issue":"4","key":"3_CR3","doi-asserted-by":"publisher","first-page":"768","DOI":"10.1145\/291891.291896","volume":"20","author":"M Alpuente","year":"1998","unstructured":"Alpuente, M., Falaschi, M., Vidal, G.: Partial evaluation of functional logic programs. ACM TOPLAS 20(4), 768\u2013844 (1998)","journal-title":"ACM TOPLAS"},{"issue":"1\u20132","key":"3_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0304-3975(99)00206-6","volume":"236","author":"A Bouhoula","year":"2000","unstructured":"Bouhoula, A., Jouannaud, J.-P., Meseguer, J.: Specification and proof in membership equational logic. Theor. Comput. Sci. 236(1\u20132), 35\u2013132 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1","volume-title":"All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic","author":"M Clavel","year":"2007","unstructured":"Clavel, M., et al.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007). \n                      https:\/\/doi.org\/10.1007\/978-3-540-71999-1"},{"key":"3_CR6","series-title":"Volume B: Formal Models and Semantics","first-page":"243","volume-title":"Handbook of Theoretical Computer Science","author":"N Dershowitz","year":"1990","unstructured":"Dershowitz, N., Jouannaud, J.-P.: Rewrite systems. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics, pp. 243\u2013320. Elsevier, Amsterdam (1990)"},{"issue":"5","key":"3_CR7","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1016\/0020-0190(79)90071-1","volume":"9","author":"N Dershowitz","year":"1979","unstructured":"Dershowitz, N.: A note on simplification orderings. Inf. Process. Lett. 9(5), 212\u2013215 (1979)","journal-title":"Inf. Process. Lett."},{"issue":"1","key":"3_CR8","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/A:1020122610698","volume":"28","author":"S Eker","year":"2002","unstructured":"Eker, S.: Single elementary associative-commutative matching. J. Autom. Reasoning 28(1), 35\u201351 (2002)","journal-title":"J. Autom. Reasoning"},{"issue":"1\u20132","key":"3_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0747-7171(89)80021-5","volume":"8","author":"HJ B\u00fcrckert","year":"1989","unstructured":"B\u00fcrckert, H.J., Herold, A., Schmidt-Schau, M.: On equational theories, unification, and (un)decidability. J. Symbolic Comput. 8(1\u20132), 3\u201349 (1989)","journal-title":"J. Symbolic Comput."},{"key":"3_CR10","first-page":"210","volume":"95","author":"JB Kruskal","year":"1960","unstructured":"Kruskal, J.B.: Well-quasi-ordering, the tree theorem, and Vazsonyi\u2019s conjecture. Trans. Am. Math. Soc. 95, 210\u2013225 (1960)","journal-title":"Trans. Am. Math. Soc."},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/3-540-49727-7_14","volume-title":"Static Analysis","author":"M Leuschel","year":"1998","unstructured":"Leuschel, M.: On the power of homeomorphic embedding for online termination. In: Levi, G. (ed.) SAS 1998. LNCS, vol. 1503, pp. 230\u2013245. Springer, Heidelberg (1998). \n                      https:\/\/doi.org\/10.1007\/3-540-49727-7_14"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/3-540-36377-7_17","volume-title":"The Essence of Computation: Complexity, Analysis, Transformation","author":"M Leuschel","year":"2002","unstructured":"Leuschel, M.: Homeomorphic embedding for online termination of symbolic methods. In: Mogensen, T.\u00c6., Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation. LNCS, vol. 2566, pp. 379\u2013403. Springer, Heidelberg (2002). \n                      https:\/\/doi.org\/10.1007\/3-540-36377-7_17"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1145\/271510.271525","volume":"20","author":"M Leuschel","year":"1998","unstructured":"Leuschel, M., Martens, B., De Schreye, D.: Controlling generalization and polyvariance in partial deduction of normal logic programs. ACM TOPLAS 20(1), 208\u2013258 (1998)","journal-title":"ACM TOPLAS"},{"issue":"2","key":"3_CR14","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF01225647","volume":"6","author":"A Middeldorp","year":"1995","unstructured":"Middeldorp, A., Gramlich, B.: Simple termination is difficult. Appl. Algebra Eng. Commun. Comput. 6(2), 115\u2013128 (1995)","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"3_CR15","first-page":"465","volume-title":"Proceedings of International Symposium on Logic Programming, ILPS 1995","author":"MH S\u00f8rensen","year":"1995","unstructured":"S\u00f8rensen, M.H., Gl\u00fcck, R.: An algorithm of generalization in positive supercompilation. In: Lloyd, J.W. (ed.) Proceedings of International Symposium on Logic Programming, ILPS 1995, pp. 465\u2013479. MIT Press, Cambridge (1995)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-13838-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T07:33:56Z","timestamp":1558337636000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-13838-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030138370","9783030138387"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-13838-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"23 February 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LOPSTR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Logic-Based Program Synthesis and Transformation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Frankfurt\/Main","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 September 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 September 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lopstr2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ppdp-lopstr-18.cs.uni-frankfurt.de\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}