{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T04:10:01Z","timestamp":1739074201865,"version":"3.37.0"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1991,8,1]],"date-time":"1991-08-01T00:00:00Z","timestamp":681004800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1991,8]]},"DOI":"10.1007\/bf03037166","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:52:58Z","timestamp":1240368778000},"page":"277-303","source":"Crossref","is-referenced-by-count":7,"title":["Logical diagnosis ofLDL programs"],"prefix":"10.1007","volume":"9","author":[{"given":"Oded","family":"Shmueli","sequence":"first","affiliation":[]},{"given":"Shalom","family":"Tsur","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3\u20134","key":"BF03037166_CR1","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0743-1066(91)90036-O","volume":"10","author":"C. Beeri","year":"1991","unstructured":"Beeri, C., Naqvi, S., Shmueli, O. and Tsur, S., \u201cSet Constructors in a Logic Database Language,\u201dJournal of Logic Programming, 10, 3\u20134, pp. 181\u2013232, April\/May 1991.","journal-title":"Journal of Logic Programming"},{"key":"BF03037166_CR2","unstructured":"Chimenti, D. and Gamboa, R., \u201cThe SALAD Cookbook; A User\/Programmers\u2019 Guide,\u201dMCC Technical Report, ACT-ST-346-89."},{"key":"BF03037166_CR3","unstructured":"Dershowitz, N. and Lee, Y., \u201cDeductive Debugging,\u201d inProceedings Fourth IEEE Symposium on Logic Programming, San Francisco, California, pp. 298\u2013306, Aug. 1987."},{"key":"BF03037166_CR4","unstructured":"Drabent, W., Nadjim-Tehrani, S. and Maluszynski, J., \u201cAlgorithmic Debugging with Assertions,\u201d inProceedings Workshop on Meta-Programming in Logic Programming, University of Bristol, June 1988."},{"key":"BF03037166_CR5","series-title":"Reporte de Recherche","volume-title":"Error Diagnosis in Logic Programming: An Adaptation of E. Y. Shapiro\u2019s Method","author":"G. Ferrand","year":"1985","unstructured":"Ferrand, G., \u201cError Diagnosis in Logic Programming: An Adaptation of E. Y. Shapiro\u2019s Method,\u201dReporte de Recherche, 375, INRIA, France, 1985."},{"key":"BF03037166_CR6","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF03037396","volume":"5","author":"J. W. Lloyd","year":"1987","unstructured":"Lloyd, J. W., \u201cDeclarative Error Diagnosis,\u201dNew Generation Computing, 5, pp. 133\u2013154, 1987.","journal-title":"New Generation Computing"},{"key":"BF03037166_CR7","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W.,Foundations of Logic Programming (2nd Edition), Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"BF03037166_CR8","unstructured":"Naqvi, S. and Tsur, S.,A Logical Language for Data and Knowledge Bases, W. H. Freeman, 1989."},{"key":"BF03037166_CR9","unstructured":"Naish, L., \u201cDeclarative Error Diagnosis of Missing Facts,\u201dTechnical Report, 88\/9, Department of Computer Science, University of Melbourne."},{"key":"BF03037166_CR10","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/3-540-16492-8_76","volume-title":"Proceedings Third International Conference on Logic Programming","author":"L. M. Pereira","year":"1986","unstructured":"Pereira, L. M., \u201cRational Debugging in Logic Programming,\u201d inProceedings Third International Conference on Logic Programming, London, England, Springer-Verlag, LNCS 225, pp. 203\u2013210, July 1986."},{"key":"BF03037166_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E. Y. Shapiro","year":"1983","unstructured":"Shapiro, E. Y.,Algorithmic Program Debugging, MIT Press, Cambridge, Massachusettes, 1983."},{"key":"BF03037166_CR12","unstructured":"Shmueli, O. and Tsur, S., \u201cLogical Diagnosis of LDL Programs,\u201d inProceedings Seventh International Conference on Logic Programming, Jerusalem, Israel, pp. 112\u2013129, June 1990."},{"key":"BF03037166_CR13","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"Sterling, L. and Shapiro, E. Y.,The Art of Prolog, MIT Press, Cambridge, Massachusettes, 1986."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037166.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037166\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037166","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T03:38:20Z","timestamp":1739072300000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037166"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,8]]},"references-count":13,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1991,8]]}},"alternative-id":["BF03037166"],"URL":"https:\/\/doi.org\/10.1007\/bf03037166","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"type":"print","value":"0288-3635"},{"type":"electronic","value":"1882-7055"}],"subject":[],"published":{"date-parts":[[1991,8]]}}}