{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:21Z","timestamp":1725663561347},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572640"},{"type":"electronic","value":"9783540480273"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57264-3_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:33:26Z","timestamp":1330259606000},"page":"178-192","source":"Crossref","is-referenced-by-count":9,"title":["Abstract rewriting"],"prefix":"10.1007","author":[{"given":"Didier","family":"Bert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachid","family":"Echahed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bjarte M.","family":"\u00d8stvold","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Didier Bert and Rachid Echahed. Design and implementation of a generic, logic and functional programming language. Number 213 in Lecture Notes in Computer Science, pages 119\u2013132. Springer-Verlag, 1986.","DOI":"10.1007\/3-540-16442-1_9"},{"key":"15_CR2","unstructured":"P.G. Bosco, E. Giovannetti, G. Levi, and C. Moiso, C.and Palamidessi. A complete semantic characterization of K-LEAF, a logic language with partial functions. In Proceedings of the 4th IEEE International Symposium on Logic Programming, pages 318\u2013327, San Francisco, 1987."},{"issue":"1","key":"15_CR3","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"Patrick Cousot and Radhia Cousot. Abstract interpretation and application to logic programs. Journal of Logic. Programming, 13(1, 2, 3 and 4):103\u2013179, 1992. Also appeared as Technical Report LIENS-92-12, \u00e9cole normale sup\u00e9rieure, Paris.","journal-title":"Journal of Logic. Programming"},{"key":"15_CR4","unstructured":"Patrick Cousot and Radhia Cousot. Abstract interpretation frameworks. Technical Report LIX-RR-92-05, \u00e9cole polytecnique, 1992."},{"key":"15_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":"15_CR6","doi-asserted-by":"crossref","unstructured":"Nachum Dershowitz and 6. Sivakumar. Solving goals in equational languages. Number 308 in Lecture Notes in Computer Science, pages 45\u201355. Springer-Verlag, July 1987.","DOI":"10.1007\/3-540-19242-5_4"},{"key":"15_CR7","unstructured":"Harmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985."},{"key":"15_CR8","unstructured":"L. Fribourg. Slog: A logic programming language interpreter based on clausal superposition and rewriting. In Proc. IEEE International Symposium on Logic Programming, pages 172\u2013184, Boston, 1985."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"M. Hanus. Compiling logic programs with equality. In Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming, number 456 in Lecture Notes in Computer Science, pages 387\u2013401. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0024197"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"J.-M. Hullot. Canonical forms and unification. In Proc. 5th Conference on Automated Deduction, number 87 in Lecture Notes in Computer Science, pages 318\u2013334. Springer-Verlag, 1980.","DOI":"10.21236\/ADA087640"},{"key":"15_CR11","unstructured":"J. W. Klop. Term Rewriting Systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, Vol. II, pages 1\u2013112. Oxford University Press, 1992. Previous version: Term rewriting systems, Technical Report CS-R9073, Stichting Mathematisch Centrum, Amsterdam, 1990."},{"key":"15_CR12","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0743-1066(92)90024-W","volume":"12","author":"J. J. Moreno-Navarro","year":"1992","unstructured":"J. J. Moreno-Navarro and M. Rodr\u00edguez-Artalejo. Logic programming with functions and predicates: The language BABEL. Journal of Logic Programming, 12:191\u2013223, 1992.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57264-3_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:27Z","timestamp":1605647427000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57264-3_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572640","9783540480273"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-57264-3_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}