{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:29Z","timestamp":1725663689593},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544449"},{"type":"electronic","value":"9783540383628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54444-5_112","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:50:08Z","timestamp":1330210208000},"page":"359-370","source":"Crossref","is-referenced-by-count":1,"title":["Efficient integration of simplification into Prolog"],"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","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"30_CR1","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":"30_CR2","first-page":"276","volume":"150","author":"P.G. Bosco","year":"1987","unstructured":"P.G. Bosco, E. Giovannetti, and G. Moiso. Refined strategies for semantic unification. In TAPSOFT'87, LNCS 150, pages 276\u2013290, 1987.","journal-title":"LNCS"},{"key":"30_CR3","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0743-1066(86)90014-2","volume":"3","author":"M. Bellia","year":"1986","unstructured":"M. Bellia and G. Levi. The relation between logic and functional languages. Journal of Logic Programming, 3:217\u2013236, 1986.","journal-title":"Journal of Logic Programming"},{"key":"30_CR4","unstructured":"P.H. Cheong. Compiling lazy narrowing into prolog. Technical Report 25, LIENS, 1990. To appear in Journal of New Generation Computing."},{"key":"30_CR5","unstructured":"P. Deransart. An operational semantics of prolog programs. In Programmation Logique, Perros-Guirec, CNET-lannion, 1983."},{"key":"30_CR6","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":"30_CR7","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":"30_CR8","doi-asserted-by":"crossref","unstructured":"M. Hanus. Compiling logic programs with equality. In PLILP'90, LNCS 456, pages 387\u2013401, 1990.","DOI":"10.1007\/BFb0024197"},{"key":"30_CR9","unstructured":"S. H\u00f6lldobler. From paramodulation to narrowing. In Proceedings of the 5th International Conference on Logic Programming, Seattle, pages 327\u2013342, 1988."},{"key":"30_CR10","first-page":"279","volume":"432","author":"H. Kuchen","year":"1990","unstructured":"H. Kuchen, R. Loogen, J.J. Moreno, and M. Rodr\u00edguez. Graph-based implementation of a functional logic language. In ESOP' 90, LNCS 432, pages 279\u2013290, 1990.","journal-title":"LNCS"},{"key":"30_CR11","unstructured":"G. Levi, C. Palamidessi, P.G. Bosco, E. Giovannetti, and C. Moiso. A complete semantic characterization of K-LEAF, a logic language with partial functions. In Proceedings of the IEEE Symposium on Logic Programming, pages 318\u2013327, 1987."},{"key":"30_CR12","unstructured":"A. M\u00fcck. The compilation of narrowing. In PLILP'90, Springer LNCS 456, 1990."},{"key":"30_CR13","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":"30_CR14","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/0743-1066(87)90006-9","volume":"4","author":"M.H. Emdem van","year":"1987","unstructured":"M.H. van Emdem and K. Yukawa. Logic programming with equations. Journal of Logic Programming, 4:265\u2013288, 1987.","journal-title":"Journal of Logic Programming"},{"key":"30_CR15","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/S0747-7171(89)80015-X","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:319\u2013343, 1989.","journal-title":"Journal of Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54444-5_112.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:21:58Z","timestamp":1619572918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_112"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_112","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}