{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:48:00Z","timestamp":1762458480831},"publisher-location":"Berlin\/Heidelberg","reference-count":24,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055873X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013825","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:24:11Z","timestamp":1132730651000},"page":"143-157","source":"Crossref","is-referenced-by-count":77,"title":["Definitional trees"],"prefix":"10.1007","author":[{"given":"Sergio","family":"Antoy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Sergio Antoy. Design strategies for rewrite rules. In S. Kaplan aand M. Okada, editor, CTRS'90, pages 333\u2013341, Montreal, Canada, June 1990. Lect. Notes in Comp. Sci., Vol. 516.","DOI":"10.1007\/3-540-54317-1_102"},{"key":"11_CR2","first-page":"318","volume-title":"LOPSTR'91","author":"S. Antoy","year":"1991","unstructured":"Sergio Antoy. Non-determinism and lazy evaluation in logic programming. In T. P. Clement and K.-K. Lau, editors, LOPSTR'91, pages 318\u2013331, Manchester, UK, July 1991. Springer-Verlag."},{"key":"11_CR3","volume-title":"Algebraic methods in semantics","author":"G. Boudol","year":"1985","unstructured":"G. Boudol. Computational semantics of term rewriting systems. In Maurice Nivat and John C. Reynolds, editors, Algebraic methods in semantics, chapter 5. Cambridge University Press, Cambridge, UK, 1985."},{"key":"11_CR4","volume-title":"Algebraic Specification","author":"L. G. Bouma","year":"1989","unstructured":"L. G. Bouma and H. R. Walters. Implementing algebraic specifications. In J. A. Bergstra, J. Heering, and P. Klint, editors, Algebraic Specification, chapter 5. Addison-Wesley, Wokingham, England, 1989."},{"key":"11_CR5","first-page":"243","volume-title":"Handbook of Theoretical Computer Science B: Formal Methods and Semantics","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and J. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science B: Formal Methods and Semantics, chapter 6, pages 243\u2013320. North Holland, Amsterdam, 1990."},{"key":"11_CR6","volume-title":"Technical Report SRI-CSL-89-6","author":"J. Goguen","year":"1989","unstructured":"J. Goguen, J. Meseguer, S. Leinwand, T. Winkler, and H. Aida. The rewrite rule machine project. Technical Report SRI-CSL-89-6, SRI International, Menlo Park, CA, 1989."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"C. M. Hoffman and M. J. O'Donnell. Implementation of an interpreter for abstract equations. In 11th ACM Symposium on the Principle of Programming Languages, Salt Lake City, 1984.","DOI":"10.1145\/800017.800522"},{"key":"11_CR8","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"G\u00e9rard Huet. Confluent reductions: Abstract properties and applications to termrewriting systems. JACM, 27:797\u2013821, 1980.","journal-title":"JACM"},{"key":"11_CR9","volume-title":"Technical Report 359","author":"G. Huet","year":"1979","unstructured":"G\u00e9rard Huet and Jean-Jacques L\u00e9vy. Call by need computations in non-ambiguous linear term rewriting systems. Technical Report 359, INRIA, Le Chesnay, France, 1979."},{"key":"11_CR10","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0168-0072(89)90024-9","volume":"43","author":"J. R. Kennaway","year":"1989","unstructured":"J. R. Kennaway. Sequential evaluation strategies for parallel-or and related reduction systems. Annals of Pure and Applied Logic, 43:31\u201356, 1989.","journal-title":"Annals of Pure and Applied Logic"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Claude Kirchner and Patrick Viry. Implementing parallel rewriting. In PLILP'90, pages 1\u201315, Link\u00f6ping, Sweden, August 1990. Lect. Notes in Comp. Sci., Vol. 456.","DOI":"10.1007\/BFb0024172"},{"key":"11_CR12","volume-title":"Technical Report CS-R9073","author":"J. W. Klop","year":"1990","unstructured":"Jan Willem Klop. Term rewriting systems. Technical Report CS-R9073, Stichting Mathematisch Centrum, Amsterdam, The Netherlands, 1990."},{"key":"11_CR13","volume-title":"Technical Report CS-R8932","author":"J. W. Klop","year":"1989","unstructured":"Jan Willem Klop and Aart Middledorp. Sequentiality in orthogonal term rewriting systems. Technical Report CS-R8932, Stichting Mathematisch Centrum, Amsterdam, The Netherlands, 1989."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"H. Kuchen, R. Loogen, J. J. Moreno-Navarro, and M. Rodr\u00edguez-Artalejo. Graphbased implementation of a functional language. In ESOP'90, pages 279\u2013290, 1990. Lect. Notes in Comp. Sci., 432.","DOI":"10.1007\/3-540-52592-0_69"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"J. J. Moreno-Navarro, H. Kuchen, R. Loogen, and M. Rodr\u00edguez-Artalejo. Lazy narrowing in a graph machine. In Conf. on Algebraic and Logic Progr., 1990. Lect. Notes in Comp. Sci., 463.","DOI":"10.1007\/3-540-53162-9_47"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"J. J. Moreno-Navarro and M. Rodr\u00edguez-Artalejo. Logic programming with functions and predicates: The language BABEL. Journal of Logic Programming, 1992. (To appear).","DOI":"10.1016\/0743-1066(92)90024-W"},{"key":"11_CR17","volume-title":"PhD thesis","author":"S. Narain","year":"1988","unstructured":"Sanjai Narain. LOG(F): An optimal combination of logic programming, rewriting, and lazy evaluation. PhD thesis, University of California, Los Angeles, CA, 1988."},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Sanjai Narain. Optimization by non-deterministic, lazy rewriting. In RTA'89, pages 326\u2013342, Chapel Hill, NC, 1989. Lect. Notes in Comp. Sci., Vol. 355.","DOI":"10.1007\/3-540-51081-8_117"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Sanjai Narain. Lazy evaluation in logic programming. In Third IEEE Conference on Computer Languages, pages 218\u2013227, New Orleans, 1990.","DOI":"10.1109\/ICCL.1990.63777"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Michael J. O'Donnell. Computing in systems described by equations. Springer-Verlag, 1977. Lect. Notes in Comp. Sci., Vol. 58.","DOI":"10.1007\/3-540-08531-9"},{"key":"11_CR21","unstructured":"Michael J. O'Donnell. Eguational Logic as a Programming Language. MIT Press, 1985."},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"R. C. Sekar and I. V. Ramakrishnan. Programming in equational logic: Beyond strong sequentiality. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, pages 230\u2013241, Philadelphia, PA, June 1990.","DOI":"10.1109\/LICS.1990.113749"},{"key":"11_CR23","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1016\/0890-5401(87)90050-2","volume":"72","author":"S. Thatte","year":"1987","unstructured":"Satish Thatte. A refinement of strong sequentiality for term rewriting with constructors. Information and Computation, 72:46\u201365, 1987.","journal-title":"Information and Computation"},{"key":"11_CR24","volume-title":"Master's project","author":"Y. Yan","year":"1992","unstructured":"Yonggong Yan. Building definitional trees. Master's project, Portland State University, Portland, OR, March 1992."}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013825","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:33:34Z","timestamp":1586579614000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013825"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055873X"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0013825","relation":{},"subject":[]}}