{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T03:17:44Z","timestamp":1725765464231},"publisher-location":"London","reference-count":29,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197355"},{"type":"electronic","value":"9781447137948"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3794-8_12","type":"book-chapter","created":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T06:23:28Z","timestamp":1387434208000},"page":"177-187","source":"Crossref","is-referenced-by-count":1,"title":["A survey of the implementations of narrowing"],"prefix":"10.1007","author":[{"given":"P. H.","family":"Cheong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Fribourg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","first-page":"318","volume-title":"Proceedings of the 6th International Conference on Logic Programming","author":"PG Bosco","year":"1989","unstructured":"P.G. Bosco, C. Cecchi, and C. Moiso. An extension of WAM for K-LEAF. In Proceedings of the 6th International Conference on Logic Programming, Lisboa, pages 318\u2013333, 1989."},{"key":"12_CR2","first-page":"276","volume-title":"TAPSOFT87","author":"PG Bosco","year":"1987","unstructured":"P.G. Bosco, E. Giovannetti, and G. Moiso. Refined strategies for semantic unification. In TAPSOFT\u201987, LNCS\n                  150, pages 276\u2013290, 1987."},{"key":"12_CR3","volume-title":"LNCS","author":"MMT Chakravarty","year":"1991","unstructured":"M.M.T. Chakravarty and H.C.R. Lock. The implementation of lazy narrowing. To appear in Proceedings of PLILP\u201991, LNCS, 1991."},{"key":"12_CR4","unstructured":"P.H. Cheong. Compiling lazy narrowing into prolog. Technical Report 25, LIENS, 1990. To appear in Journal of New Generation Computing."},{"key":"12_CR5","unstructured":"P.H. Cheong and L. Fribourg. Efficient integration of simplification into prolog. Technical Report 26, LIENS, 1990. To appear in proceedings of PLILP\u201991, LNCS."},{"key":"12_CR6","first-page":"187","volume-title":"Proceedings of the IEEE Symposium on Logic Programming, Salt Lake City","author":"N Dershowitz","year":"1986","unstructured":"N. Dershowitz and A. Josephson. An implementation of narrowing, the RITE way. In Proceedings of the IEEE Symposium on Logic Programming, Salt Lake City, pages 187\u2013197, 1986."},{"key":"12_CR7","first-page":"54","volume-title":"Proceedings of the IEEE Symposium on Logic Programming, Boston","author":"N Dershowitz","year":"1985","unstructured":"N. Dershowitz and D.A. Plaisted. Logic programming cum applicative programming. In Proceedings of the IEEE Symposium on Logic Programming, Boston, pages 54\u201366, 1985."},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BFb0026098","volume-title":"Proceedings of CAAP","author":"R Echahed","year":"1988","unstructured":"R. Echahed. On completeness of narrowing strategies. In Proceedings of CAAP\n                  88, LNCS\n                  299, pages 89\u2013101, 1988."},{"key":"12_CR9","volume-title":"Proceedings of the 4th workshop on Automated Deduction","author":"M Fay","year":"1979","unstructured":"M. Fay. First-order unification in an equational theory. In Proceedings of the 4th workshop on Automated Deduction, 1979."},{"key":"12_CR10","first-page":"172","volume-title":"Proceedings of the IEEE Symposium on Logic Programming, Boston","author":"L Fribourg","year":"1985","unstructured":"L. Fribourg. SLOG: A logic programming language interpreter based on clausal superposition and rewriting. In Proceedings of the IEEE Symposium on Logic Programming, Boston, pages 172\u2013184, 1985."},{"key":"12_CR11","first-page":"161","volume-title":"Programming of future generation computers","author":"L Fribourg","year":"1988","unstructured":"L. Fribourg. Prolog with simplification. In K. Fuchi and M. Nivat, editors, Programming of future generation computers, pages 161\u2013183. Elsevier Science Publishers B.V. ( North Holland ), 1988."},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0022-0000(91)90009-T","volume":"42","author":"E Giovannetti","year":"1991","unstructured":"E. Giovannetti, G. Levi, C. Moiso, and C. Palamidessi. Kernel LEAF: a logic plus functional language. Journal of Computer and System Sciences, 42, pages 139\u2013185, 1991.","journal-title":"Journal of Computer and System Sciences"},{"key":"12_CR13","first-page":"318","volume-title":"Foundations of Logic and Functional Programming","author":"E Giovannetti","year":"1987","unstructured":"E. Giovannetti and C. Moiso. A completeness result for E-unification algorithms based on conditional narrowing. In Foundations of Logic and Functional Programming, LNCS\n                  306, pages 318\u2013334, 1987."},{"key":"12_CR14","unstructured":"J. Goguen and J. Meseguer. EQLOG: equality, types and generic modules for logic programming. In D. DeGroot and G. Lindstrom, editors, Functional and Logic Programming pages 295\u2013363. Prentice-Hall, 1986."},{"key":"12_CR15","first-page":"387","volume-title":"PLILP90","author":"M Hanus","year":"1990","unstructured":"M. Hanus. Compiling logic programs with equality. In PLILP\u201990, LNCS\n                  456, pages 387\u2013401, 1990."},{"key":"12_CR16","volume-title":"Proceedings of the 5th International Conference on Logic Programming, Seattle, pages 327342","author":"S H\u00f6lldobler","year":"1988","unstructured":"S. H\u00f6lldobler. From paramodulation to narrowing. In Proceedings of the 5th International Conference on Logic Programming, Seattle, pages 327342, 1988."},{"key":"12_CR17","first-page":"318","volume-title":"Proceedings of the 5th Conference on Automated Deduction, LNCS 87","author":"JM Hullot","year":"1980","unstructured":"J.M. Hullot. Canonical forms and unification. In Proceedings of the\n                  5th Conference on Automated Deduction, LNCS 87, pages 318\u2013334, 1980."},{"key":"12_CR18","first-page":"271","volume-title":"Proceedings of ESOP90, LNCS 432","author":"H Kuchen","year":"1990","unstructured":"H. Kuchen, R. Loogen, J.J. Moreno, and M. Rodriguez. Graph-based implementation of a functional logic language. In Proceedings of ESOP\u201990, LNCS 432, pages 271\u2013290, 1990."},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1007\/3540539816_80","volume-title":"Proceedings of TAPSOFT","author":"R Loogen","year":"1991","unstructured":"R. Loogen. From reduction machines to narrowing machines. In Proceedings of TAPSOFT\u201991, LNCS\n                  494, pages 438\u2013457, 1991."},{"key":"12_CR20","unstructured":"Aart. Middletorp. Private communication, 1991."},{"key":"12_CR21","first-page":"298","volume-title":"Algebraic and Logic Programming","author":"JJ Moreno","year":"1990","unstructured":"J.J. Moreno, H. Kuchen, R. Loogen, and M. Rodriguez. Lazy narrowing in a graph machine. In Algebraic and Logic Programming, LNCS\n                  463, pages 298\u2013317, 1990."},{"key":"12_CR22","first-page":"16","volume":"456","author":"A M\u00fcck","year":"1990","unstructured":"A. M\u00fcck. The compilation of narrowing. In Proceedings of PLILP\u201990, LNCS\n                  456, pages 16\u201329, 1990.","journal-title":"In Proceedings of PLILP90, LNCS"},{"key":"12_CR23","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0747-7171(89)80014-8","volume":"7","author":"W Nutt","year":"1989","unstructured":"W. Nutt, P. R\u00e9ty, and G. Smolka. Basic narrowing revisited. Journal of Symbolic Computation, 7, pages 295\u2013317, 1989.","journal-title":"Journal of Symbolic Computation"},{"key":"12_CR24","first-page":"242","volume-title":"Proceedings of RTA87","author":"P Padawitzl","year":"1987","unstructured":"P. Padawitzl. Strategy controlled reduction and narrowing. In Proceedings of RTA\u201987, Bordeaux, LNCS\n                  256, pages 242\u2013255, 1987."},{"key":"12_CR25","first-page":"138","volume-title":"Proceedings of the IEEE Symposium on Logic Programming, Boston","author":"US Reddy","year":"1985","unstructured":"U.S. Reddy. Narrowing as the operational semantics of functional languages. In Proceedings of the IEEE Symposium on Logic Programming, Boston, pages 138\u2013151, 1985."},{"key":"12_CR26","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/0743-1066(87)90006-9","volume":"4","author":"MH Emdem","year":"1987","unstructured":"M.H. van Emdem and K. Yukawa. Logic programming with equations. Journal of Logic Programming, 4, pages 265\u2013288, 1987.","journal-title":"Journal of Logic Programming"},{"key":"12_CR27","volume-title":"SRI International","author":"DHD Warren","year":"1983","unstructured":"D.H.D. Warren. An abstract Prolog instruction set. Technical Report 309, SRI International, 1983."},{"key":"12_CR28","first-page":"319343","volume":"7","author":"Y.H. You","year":"1989","unstructured":"Y.H. You. Enumerating outer narrowing derivations for constructor-based term rewriting systems. Journal of Symbolic Computation, 7, pages 319343, 1989.","journal-title":"Journal of Symbolic Computation"},{"key":"12_CR29","doi-asserted-by":"publisher","first-page":"5475","DOI":"10.1016\/0022-0000(91)90039-8","volume":"42","author":"YH You","year":"1991","unstructured":"Y.H. You. Unification modulo an equality theory for equational logic programming. Journal of Computer and System Sciences, 42, pages 5475, 1991.","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Workshops in Computing","Declarative Programming, Sasbachwalden 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3794-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T13:23:47Z","timestamp":1558790627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3794-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197355","9781447137948"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3794-8_12","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}