{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T06:35:25Z","timestamp":1649054125311},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1994,5,1]],"date-time":"1994-05-01T00:00:00Z","timestamp":767750400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[1994,5]]},"DOI":"10.1007\/bf01190828","type":"journal-article","created":{"date-parts":[[2005,2,18]],"date-time":"2005-02-18T11:25:56Z","timestamp":1108725956000},"page":"159-191","source":"Crossref","is-referenced-by-count":6,"title":["A declarative approach for first-order built-in's of Prolog"],"prefix":"10.1007","volume":"5","author":[{"given":"Krzysztof R.","family":"Apt","sequence":"first","affiliation":[]},{"given":"Elena","family":"Marchiori","sequence":"additional","affiliation":[]},{"given":"Catuscia","family":"Palamidessi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Apt, K. R.: Logic Programming. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Vol. B. Elsevier 1990","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF03037168","volume":"9","author":"K. R. Apt","year":"1991","unstructured":"Apt, K. R., Bezem, M.: Acyclic Programs. New Generation Comput.9, 335?363 (1991)","journal-title":"New Generation Comput."},{"key":"CR3","volume-title":"Tech. Rep. CS-R9242","author":"K. R. Apt","year":"1992","unstructured":"Apt, K. R., Doets, H. C.: A new definition of SLDNF-resolution. Tech. Rep. CS-R9242. CWI, Amsterdam, NL (1992)"},{"key":"CR4","volume-title":"Tech. Rep. CS-R9246","author":"K. R. Apt","year":"1992","unstructured":"Apt, K. R., Marchiori, E., Palamidessi, C.: A declarative approach for first-order built-in's of Prolog. Tech. Rep. CS-R9246. CWI, Amsterdam, NL (1992)"},{"key":"CR5","volume-title":"Studies in pure Prolog: termination","author":"K. R. Apt","year":"1990","unstructured":"Apt, K. R., Pedreschi, D.: Studies in pure Prolog: termination. In: Lloyd, J. W. (ed.) Symposium on Compuational Logic. Berlin, Heidelberg, New York: Springer (1990)"},{"key":"CR6","unstructured":"Bezem, M.: Characterizing termination of logic programs with level mappings. In: Lusk, E. L., Overbeek, R. A. (eds.) Proceedings of the North American Conference on Logic Programming, 69?80. The MIT Press (1989)"},{"key":"CR7","volume-title":"A logical operational semantics of full Prolog, Part III: Built-in predicates for files, terms, arithmetic and input-output","author":"E. B\u00f6rger","year":"1989","unstructured":"B\u00f6rger, E.: A logical operational semantics of full Prolog, Part III: Built-in predicates for files, terms, arithmetic and input-output. In: Moschovakis Y. (ed.), Proceedings Workshop on Logic from Computer Science. Berlin, Heidelberg, New York: Springer MSRI Publications (1989)"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Bossi, A., Cocco, N., Fabris, M.: Proving termination of logic programs by exploiting term properties. In: Proceedings of Tapsoft '91, pp. 153?180 (1991)","DOI":"10.1007\/3540539816_66"},{"key":"CR9","unstructured":"Cavedon, L.: Continuity, consistency, and completeness properties for logic programs. In: Levi, G., Martelli, M. (eds.) Proceedings of the Sixth International Conference on Logic Programming, pp. 571?584. The MIT Press (1989)"},{"key":"CR10","unstructured":"Clark, K. L.: Predicate logic as a computational formalism. Tech. Rep. DOC 79\/59. ico, London, GB (1979)"},{"key":"CR11","unstructured":"Deransart, P., Ferrand, G.: An operational formal definition of Prolog. In: Proceedings of the 4th Symposium on Logic Programming, pp. 162?172. Computer Society Press (1987)"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","volume":"69","author":"M. Falaschi","year":"1989","unstructured":"Falaschi, M., Levi, G., Martelli, M., Palamidessi, C.: Declarative modeling of the operational behaviour of logic languages. Theoret. Comput. Sci.69, 289?318 (1989)","journal-title":"Theoret. Comput. Sci."},{"key":"CR13","unstructured":"Hill, P. M., Lloyd, J. W.: Analysis of meta-programs. In: Abramson, H. D., Rogers, M. H. (eds.) Proceedings of the Meta88 Workshop, pp. 23?52. MIT Press (1988)"},{"key":"CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"Lloyd, J. W.: Foundations of Logic Programming. Second ed., Berlin, Heidelberg, New York: Springer 1987","edition":"Second ed"},{"key":"CR15","volume-title":"Tech. Rep.","author":"C. Pieramico","year":"1991","unstructured":"Pieramico, C.: Metodi formali di ragionamento sulla terminazione di programmi prolog. Tech. Rep. Tesi di Laurea. Universit\u00e1 degli Studi di Pisa. I (1991)"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Pl\u00fcmer, L.: Automatic termination proofs for prolog programs operating on nonground terms. In: Proceedings of the 1991 International Logic Programming Symposium. San Diego (1991)","DOI":"10.1007\/3-540-52837-7"},{"key":"CR17","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog. MIT Press 1986"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"van Emden, M. H., Kowalski, R. A.: The semantics of predicate logic as a programming language. Journal of the ACM23, 733?742 (1976)","journal-title":"Journal of the ACM"}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01190828.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01190828\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01190828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T20:53:37Z","timestamp":1586120017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01190828"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,5]]},"references-count":18,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1994,5]]}},"alternative-id":["BF01190828"],"URL":"https:\/\/doi.org\/10.1007\/bf01190828","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,5]]}}}