{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:21Z","timestamp":1761611301008},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540577874"},{"type":"electronic","value":"9783540483335"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57787-4_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:22:32Z","timestamp":1330262552000},"page":"119-137","source":"Crossref","is-referenced-by-count":3,"title":["Jungle rewriting: An abstract description of a lazy narrowing machine"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Corradini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dietmar","family":"Wolz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BFb0017392","volume":"532","author":"A. Corradini","year":"1991","unstructured":"A. Corradini, U. Montanari, F. Rossi, H. Ehrig, M. L\u00f6we. Logic Programming and Graph Grammars. [EKR 91], pp. 221\u2013237.","journal-title":"Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science. LNCS"},{"key":"8_CR2","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0304-3975(93)90063-Y","volume":"109","author":"A. Corradini","year":"1993","unstructured":"A. Corradini, F. Rossi. Hyperedge Replacement Jungle Rewriting for Term Rewriting Systems and Logic Programming. Theoretical Computer Science, 109, 1993, pp. 7\u201348.","journal-title":"Theoretical Computer Science"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"N. Dershowitz, J.-P. Jouannaud. Rewrite Systems. Handbook of Theoretical Computer Science (ed. J. van Leeuwen), Vol. B, North Holland, 1990, pp. 243\u2013320.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"8_CR4","unstructured":"H. Eertink, D. Wolz. Symbolic Execution of LOTOS Specifications. IFIP Transactions, Formal Description Techniques V, North-Holland, 1992."},{"key":"8_CR5","first-page":"3","volume":"291","author":"H. Ehrig","year":"1987","unstructured":"H. Ehrig. Tutorial introduction to the algebraic approach of graph-grammars. [ENRR87], pp. 3\u201314.","journal-title":"Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, LNCS"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"H. Ehrig, H.-J. Kreowski, G. Rozenberg (Eds.). Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science. LNCS 532, 1991","DOI":"10.1007\/BFb0017372"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Nagl, M., Rozenberg, G., Rosenfeld. A., (Eds.). Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, LNCS 291, 1987.","DOI":"10.1007\/3-540-18771-5"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Pfender, H.J. Schneider. Graph-grammars: an algebraic approach. Proc, IEEE Conf. on Automata and Switching Theory, 1973, pp. 167\u2013180.","DOI":"10.1109\/SWAT.1973.11"},{"key":"8_CR9","unstructured":"J.R.W. Glauert, J.R. Kennaway, M.R. Sleep, G.W. Sommer. Final Specification of DACTL. Report SYS-C88-11, School of Information Systems, University of East Anglia, Norwich, U.K."},{"issue":"5","key":"8_CR10","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1051\/ita\/1991250504451","volume":"25","author":"B. Hoffmann","year":"1991","unstructured":"B. Hoffmann, D. Plump. Implementing Term Rewriting by Jungle Evaluation. Informatique th\u00e9orique et Applications\/Theoretical Informatics and Applications, 25 (5), 1991, pp. 445\u2013472.","journal-title":"Informatique th\u00e9orique et Applications"},{"key":"8_CR11","volume-title":"PhD thesis","author":"T. Johnsson","year":"1987","unstructured":"T. Johnsson. Compiling Lazy Functional Languages, Part 1. PhD thesis, Chalmers Tekniska H\u00f6gskola, G\u00f6teborg, Sweden, 1987."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer Verlag, 1984, (2nd Edition 1987).","DOI":"10.1007\/978-3-642-83189-8"},{"key":"8_CR13","unstructured":"H.Lock. The Implementation of Functional Logic Programming Languages. PhD thesis, GMD Universit\u00e4t Karlsruhe, 1992."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"R.Loogen. From Reduction Machines to Narrowing Machines. TAPSOFT 1991, Springer, LNCS 494, 1991","DOI":"10.1007\/3540539816_80"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"P.Padawitz. Computing in Horn Clause Theories. Springer EATCS Monographs on Theor. Com. Sci., 1988","DOI":"10.1007\/978-3-642-73824-1"},{"issue":"2","key":"8_CR16","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0022-0000(78)90043-0","volume":"16","author":"M. S. Paterson","year":"1978","unstructured":"M.S. Paterson, M.N. Wegman. Linear Unification. Journal of Comp. Syst. Sci., 16 (2), 1978, pp. 251\u2013260.","journal-title":"Journal of Comp. Syst. Sci."},{"key":"8_CR17","unstructured":"D.H.D.Warren. An Abstract Prolog Instruction Set. SRI International, Technical Note 309, October 1983"},{"key":"8_CR18","unstructured":"D. Wolz, P.Boehm. Compilation of LOTOS Data Type Specifications. Proc. of the IFIP TC6-WG 6.1, 9th International Symposium on Protocol Specification, Testing and Verification (ed. E.Brinksma, G.Scollo, C.A.Vissers), 1989"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"D. Wolz. Design of a Compiler for Lazy Pattern Driven Narrowing. Proceedings of the 7th international workshop on the specification of abstract data types, Springer LNCS 534. 1991.","DOI":"10.1007\/3-540-54496-8_19"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57787-4_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:14:10Z","timestamp":1605647650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57787-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540577874","9783540483335"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-57787-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}