{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T00:54:28Z","timestamp":1649120068183},"reference-count":17,"publisher":"EDP Sciences","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1988]]},"DOI":"10.1051\/ita\/1988220403951","type":"journal-article","created":{"date-parts":[[2017,2,2]],"date-time":"2017-02-02T14:57:14Z","timestamp":1486047434000},"page":"395-436","source":"Crossref","is-referenced-by-count":2,"title":["Logic and functional programming by retractions : operational semantics"],"prefix":"10.1051","volume":"22","author":[{"given":"M.","family":"Bellia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","unstructured":"[Apt82] APT K. R. and VAN EMDEM M. H., Contribution to the Theory of Logic Programming, J. ACM, Vol. 29, 1982, pp. 841-862.6667810483.68004","DOI":"10.1145\/322326.322339"},{"key":"R2","unstructured":"[Bellia88] BELLIA M., DAMERL E., DEGANO P., LEVI G. and MARTELLI M., A Formal Model for Lazy Implementation of a PROLOG Compatible Functional Language. In Implementations of PROLOG, J. A.CAMPBELL Ed., Ellis Horwood, 1984, pp. 309-326."},{"key":"R3","doi-asserted-by":"crossref","unstructured":"[Bellia88] BELLIA M., Logic and Functional Programming by Retractions, RAIRO Inf. Th\u00e9orique et Applications, Vol. 22, 1988, pp.923099635930666.68011","DOI":"10.1051\/ita\/1988220302711"},{"key":"R4","doi-asserted-by":"crossref","unstructured":"[Berklin75] BERKLING K., Reduction Languages for Reduction Machines, Proc. 2nd Int. Symp. on Computer Architectures, IEEE Comp. Society Press, 1975, pp. 133-140.","DOI":"10.1145\/642089.642112"},{"key":"R5","unstructured":"[Berkling82] BERKLING K., ROBINSON J. A. and SIBERT E. E., A Proposal for a Fifth Generation Logic and Functional Programming System, based on Highly Parallel Reduction Machine Architecture, Syracuse University, November 1982."},{"key":"R6","unstructured":"[Berkling85] BERKLING K., Epsilon-reduction : Another view of Unification, CASE Center, Syracuse University, 1985."},{"key":"R7","doi-asserted-by":"crossref","unstructured":"[Dershowitz82] DERSHOWITZ N., Ordering for Term-rewriting Systems, Theoretical Computer Science, Vol. 17, 1982. pp. 279-301.6484380525.68054","DOI":"10.1016\/0304-3975(82)90026-3"},{"key":"R8","unstructured":"[Friedman76] FRIEDMAN D. and WISE D., CONS Should not Evaluate its Arguments. In Automata, Languages and Programming P, S. MICHELSON Ed., Edinburgh Univ. Press, 1977, pp. 256-284.0461.68023"},{"key":"R9","doi-asserted-by":"crossref","unstructured":"[Henderson76] HENDERSON P. and MORRIS J. H., A Lazy Evaluator, Proc. Third ACM Symp. on Principles of Programming Languages, 1976, pp. 95-103.","DOI":"10.1145\/800168.811543"},{"key":"R10","unstructured":"[Henderson80] HENDERSON P., Functional Programming, Application and Implementation, Prentice-Hall, Englewood Cliffs, N.J., 1980.0426.68059"},{"key":"R11","doi-asserted-by":"crossref","unstructured":"[Huet80] HUET G. and OPPEN D. C., Equations and Rewrite Rules. A survey. INRIA Tech, Report 15, also as SRI Rep. STAN-CS-8O-785, january 1980.","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"R12","unstructured":"[Kowalski74] KOWALSKI R. A., Predicate Logic as a Programming Language, Proc. IFIP Congress, 1974, pp. 569-574.4287650297.68006"},{"key":"R13","doi-asserted-by":"crossref","unstructured":"[Martelli82] MARTELLI A. and MONTANARI U., An Efficient Unification Algorithm, ACM TOPLAS, Vol. 4, 1982, pp. 258-282.0478.68093","DOI":"10.1145\/357162.357169"},{"key":"R14","unstructured":"[O'Donnell77] O'DONNELL M. J., Computing in System Described by Equations, LNCS 50, Springer-Verlag, Berlin, 1977.4836440421.68038"},{"key":"R15","doi-asserted-by":"crossref","unstructured":"[Paterson78] PATERSON M. S. and WEGMAN M. N., Linear Unification, J. Comp. System Science, Vol. 16, 1978, pp. 158-167.4837940371.68013","DOI":"10.1016\/0022-0000(78)90043-0"},{"key":"R16","unstructured":"[Stoy77] STOY J. E., Denotational Semantics, The Scott-Strachey Approach to Programming Languages, MIT Press, Cambridge, 1977.4889690503.68059"},{"key":"R17","unstructured":"[Treleaven82] TRELEAVEN P. C., Computer Architecture for Functional Programming, In Functional Programming and its Applications, J. Darlington. P. HENDERSON and D. A. TURNER Eds., Cambridge Univ. Press, 1982, pp. 281-306."}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1988220403951\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T05:56:02Z","timestamp":1568786162000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1988220403951"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"references-count":17,"journal-issue":{"issue":"4"},"alternative-id":["ita1988220403951"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1988220403951","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988]]}}}