{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T07:03:22Z","timestamp":1779087802577,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642005145","type":"print"},{"value":"9783642005152","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00515-2_3","type":"book-chapter","created":{"date-parts":[[2009,3,3]],"date-time":"2009-03-03T10:38:40Z","timestamp":1236076720000},"page":"24-39","source":"Crossref","is-referenced-by-count":6,"title":["A Modular Equational Generalization Algorithm"],"prefix":"10.1007","author":[{"given":"Mar\u00eda","family":"Alpuente","sequence":"first","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"}]},{"given":"Pedro","family":"Ojeda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44795-4_1","volume-title":"Machine Learning: ECML 2001","author":"H. A\u00eft-Kaci","year":"2001","unstructured":"A\u00eft-Kaci, H., Sasaki, Y.: An Axiomatic Approach to Feature Term Generalization. In: Flach, P.A., De Raedt, L. (eds.) ECML 2001. LNCS, vol.\u00a02167, pp. 1\u201312. Springer, Heidelberg (2001)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Alpuente, M., Escobar, S., Meseguer, J., Ojeda, P.: A modular Equational Generalization Algorithm. Technical Report DSIC-II\/6\/08, DSIC-UPV (2008)","DOI":"10.1007\/978-3-642-00515-2_3"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Alpuente, M., Escobar, S., Meseguer, J., Ojeda, P.: Order\u2013Sorted Generalization. Electr. Notes Theor. Comput. Sci. (to appear) (2008)","DOI":"10.1016\/j.entcs.2009.07.013"},{"issue":"4","key":"3_CR4","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 Trans. Program. Lang. Syst.\u00a020(4), 768\u2013844 (1998)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"3","key":"3_CR5","first-page":"273","volume":"5","author":"M. Alpuente","year":"2005","unstructured":"Alpuente, M., Lucas, S., Hanus, M., Vidal, G.: Specialization of functional logic programs based on needed narrowing. TPLP\u00a05(3), 273\u2013303 (2005)","journal-title":"TPLP"},{"key":"3_CR6","volume-title":"Handbook of Automated Reasoning","author":"F. Baader","year":"1999","unstructured":"Baader, F., Snyder, W.: Unification theory. In: Handbook of Automated Reasoning. Elsevier, Amsterdam (1999)"},{"issue":"1","key":"3_CR7","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1002\/(SICI)1099-1689(199803)8:1<15::AID-STVR146>3.0.CO;2-D","volume":"8","author":"F. Belli","year":"1998","unstructured":"Belli, F., Jack, O.: Declarative paradigm of test coverage. Softw. Test., Verif. Reliab.\u00a08(1), 15\u201347 (1998)","journal-title":"Softw. Test., Verif. Reliab."},{"key":"3_CR8","volume-title":"Algebraic Specification","author":"J.A. Bergstra","year":"1989","unstructured":"Bergstra, J.A., Heering, J., Klint, P.: Algebraic Specification. ACM Press, New York (1989)"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0304-3975(01)00358-9","volume":"285","author":"P. Borovansk\u00fd","year":"2002","unstructured":"Borovansk\u00fd, P., Kirchner, C., Kirchner, H., Moreau, P.-E.: ELAN from a rewriting logic point of view. Theoretical Computer Science\u00a0285, 155\u2013185 (2002)","journal-title":"Theoretical Computer Science"},{"key":"3_CR10","volume-title":"A Computational Logic","author":"R. Boyer","year":"1980","unstructured":"Boyer, R., Moore, J.: A Computational Logic. Academic Press, London (1980)"},{"key":"3_CR11","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. Springer, New York (2007)"},{"key":"3_CR12","unstructured":"Clavel, M., Palomino, M.: The ITP tool\u2019s manual. Universidad Complutense, Madrid (April 2005), http:\/\/maude.sip.ucm.es\/itp\/"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/JCS-2006-14101","volume":"14","author":"V. Cortier","year":"2006","unstructured":"Cortier, V., Delaune, S., Lafourcade, P.: A Survey of Algebraic Properties used in Cryptographic Protocols. Journal of Computer Security\u00a014(1), 1\u201343 (2006)","journal-title":"Journal of Computer Security"},{"key":"3_CR14","series-title":"AMAST Series in Computing","doi-asserted-by":"crossref","DOI":"10.1142\/3831","volume-title":"CafeOBJ Report","author":"R. Diaconescu","year":"1998","unstructured":"Diaconescu, R., Futatsugi, K.: CafeOBJ Report. AMAST Series in Computing, vol.\u00a06. World Scientific, Singapore (1998)"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2007.01.004","volume":"177","author":"S. Escobar","year":"2007","unstructured":"Escobar, S., Meseguer, J., Thati, P.: Narrowing and rewriting logic: from foundations to applications. Electr. Notes Theor. Comput. Sci.\u00a0177, 5\u201333 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1-2","key":"3_CR16","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.tcs.2006.08.035","volume":"367","author":"S. Escobar","year":"2006","unstructured":"Escobar, S., Meadows, C., Meseguer, J.: A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Theoretical Computer Science\u00a0367(1-2), 162\u2013202 (2006)","journal-title":"Theoretical Computer Science"},{"key":"3_CR17","first-page":"88","volume-title":"Proc. PEPM 1993","author":"J.P. Gallagher","year":"1993","unstructured":"Gallagher, J.P.: Tutorial on specialisation of logic programs. In: Proc. PEPM 1993, pp. 88\u201398. ACM, New York (1993)"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-1-4757-6541-0_1","volume-title":"Software Engineering with OBJ: Algebraic Specification in Action","author":"J. Goguen","year":"2000","unstructured":"Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.-P.: Introducing OBJ. In: Software Engineering with OBJ: Algebraic Specification in Action, pp. 3\u2013167. Kluwer, Dordrecht (2000)"},{"key":"3_CR19","unstructured":"Huet, G.: Resolution d\u2019Equations dans des Langages d\u2019Order 1, 2,...,\u03c9. PhD thesis, Univ. Paris VII (1976)"},{"key":"3_CR20","volume-title":"Computer-Aided Reasoning: An Approach","author":"M. Kaufmann","year":"2000","unstructured":"Kaufmann, M., Manolios, P., Moore, J.S.: Computer-Aided Reasoning: An Approach. Kluwer, Dordrecht (2000)"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1016\/B978-0-934613-40-8.50019-1","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"J.-L. Lassez","year":"1988","unstructured":"Lassez, J.-L., Maher, M.J., Marriott, K.: Unification Revisited. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 587\u2013625. Morgan Kaufmann, Los Altos (1988)"},{"issue":"1","key":"3_CR22","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditioned rewriting logic as a united model of concurrency. Theor. Comput. Sci.\u00a096(1), 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J. Meseguer","year":"1998","unstructured":"Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 18\u201361. Springer, Heidelberg (1998)"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Mogensen, T.\u00c6.: Glossary for partial evaluation and related topics. Higher-Order and Symbolic Computation\u00a013(4) (2000)","DOI":"10.1023\/A:1010058213619"},{"issue":"1-2","key":"3_CR25","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/S0004-3702(99)00067-3","volume":"114","author":"S. Muggleton","year":"1999","unstructured":"Muggleton, S.: Inductive Logic Programming: Issues, Results and the Challenge of Learning Language in Logic. Artif. Intell.\u00a0114(1-2), 283\u2013296 (1999)","journal-title":"Artif. Intell."},{"key":"3_CR26","unstructured":"\u00d8stvold, B.: A functional reconstruction of anti-unification. Technical Report DART\/04\/04, Norwegian Computing Center (2004), http:\/\/publications.nr.no\/nr-notat-dart-04-04.pdf"},{"key":"3_CR27","first-page":"74","volume-title":"Proc. LICS 1991","author":"F. Pfenning","year":"1991","unstructured":"Pfenning, F.: Unification and anti-unification in the calculus of constructions. In: Proc. LICS 1991, pp. 74\u201385. IEEE Computer Society, Los Alamitos (1991)"},{"key":"3_CR28","unstructured":"Plotkin, G.D.: A note on inductive generalization. In: Machine Intelligence, vol.\u00a05, pp. 153\u2013163. Edinburgh University Press (1970)"},{"key":"3_CR29","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60-61","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program.\u00a060-61, 17\u2013139 (2004)","journal-title":"J. Log. Algebr. Program."},{"key":"3_CR30","unstructured":"Popplestone, R.J.: An experiment in automatic induction. In: Machine Intelligence, vol.\u00a0\u00a05, pp. 203\u2013215. Edinburgh University Press (1969)"},{"key":"3_CR31","first-page":"135","volume":"5","author":"J. Reynolds","year":"1970","unstructured":"Reynolds, J.: Transformational systems and the algebraic structure of atomic formulas. Machine Intelligence\u00a05, 135\u2013151 (1970)","journal-title":"Machine Intelligence"},{"key":"3_CR32","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0747-7171(89)80012-4","volume":"7","author":"J.H. Siekmann","year":"1989","unstructured":"Siekmann, J.H.: Unification Theory. Journal of Symbolic Computation\u00a07, 207\u2013274 (1989)","journal-title":"Journal of Symbolic Computation"},{"key":"3_CR33","volume-title":"Term Rewriting Systems","year":"2003","unstructured":"TeReSe (ed.): Term Rewriting Systems. Cambridge University Press, Cambridge (2003)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00515-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T06:45:44Z","timestamp":1684910744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00515-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005145","9783642005152"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00515-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}