{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:10:02Z","timestamp":1742591402643,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164920"},{"type":"electronic","value":"9783540398318"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16492-8_111","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:49:51Z","timestamp":1330195791000},"page":"624-634","source":"Crossref","is-referenced-by-count":28,"title":["Negation and quantifiers in NU-Prolog"],"prefix":"10.1007","author":[{"given":"Lee","family":"Naish","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"51_CR1","unstructured":"D. L. Bowen, L. Byrd, F. C. N. Pereira, L. M. Pereira and D. H. D. Warren, Decsystem-10 Prolog User's Manual, Occasional Paper 27, DAI, University of Edinburgh, 1982."},{"key":"51_CR2","unstructured":"K. A. Bowen and T. Weinberg, A Meta-Level Extension of Prolog, Proceedings of the 2nd IEEE International Symposium on Logic Programming, Boston, July, 1985."},{"key":"51_CR3","series-title":"UPMAIL Technical Report","volume-title":"LM-Prolog User Manual","author":"M. Carlsson","year":"1983","unstructured":"M. Carlsson and K. M. Kahn, LM-Prolog User Manual, UPMAIL Technical Report 24, Computer Science Department, Uppsala University, Sweden, 1983."},{"key":"51_CR4","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd and R. W. Topor, Making Prolog More Expressive, Journal of Logic Programming 4, (1984).","DOI":"10.1016\/0743-1066(84)90011-6"},{"key":"51_CR5","unstructured":"L. Naish, The MU-Prolog 3.2 Reference Manual, Technical Report 85\/11, Department of Computer Science, University of Melbourne, November 1985."},{"key":"51_CR6","unstructured":"L. Naish, All Solutions Predicates in Prolog, Proceedings of IEEE Symposium on Logic Programming, Boston, July, 1985."},{"key":"51_CR7","unstructured":"L. Naish, Negation and Control in PROLOG, Technical Report 85\/12, Ph.D. Thesis, Department of Computer Science, University of Melbourne, 1985."},{"key":"51_CR8","unstructured":"R. A. O'Keefe, On the Treatment of Cuts in Prolog Source-Level Tools, Proceedings of the 2nd IEEE International Symposium on Logic Programming, Boston, July, 1985."},{"key":"51_CR9","unstructured":"J. W. Schultz, The Use Of First-order Predicate Calculus As A Logic Programming System, M.Sc Thesis, Department Of Computer Science, University Of Melbourne, 1984."},{"key":"51_CR10","doi-asserted-by":"crossref","unstructured":"K. Ueda, Guarded Horn Clauses, Technical Report TR-103, ICOT, 1985.","DOI":"10.1007\/3-540-16479-0_17"},{"key":"51_CR11","unstructured":"D. H. D. Warren, An Abstract Prolog Instruction Set, Technical Report 309, Artificial Intelligence Center, SRI International, 1983."}],"container-title":["Lecture Notes in Computer Science","Third International Conference on Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16492-8_111.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:28:32Z","timestamp":1742588912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16492-8_111"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164920","9783540398318"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-16492-8_111","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}