{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:11:53Z","timestamp":1775873513895,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540584858","type":"print"},{"value":"9783540490050","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58485-4_45","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:27:49Z","timestamp":1330273669000},"page":"255-265","source":"Crossref","is-referenced-by-count":17,"title":["Estimating the computational cost of logic programs"],"prefix":"10.1007","author":[{"given":"S. K.","family":"Debray","sequence":"first","affiliation":[]},{"given":"P. L\u00f3pez","family":"Garc\u00eda","sequence":"additional","affiliation":[]},{"given":"M.","family":"Hermenegildo","sequence":"additional","affiliation":[]},{"given":"N. -W.","family":"Lin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1016\/S0021-9800(69)80010-4","volume":"7","author":"J. A. Bondy","year":"1969","unstructured":"J. A. Bondy, \u201cBounds for the Chromatic Number of a Graph,\u201d Journal of Combinatorial Theory\n7, (1969), pp. 96\u201398.","journal-title":"Journal of Combinatorial Theory"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/65979.65984","volume":"3","author":"S. K. Debray","year":"1989","unstructured":"S. K. Debray, and D. S. Warren, \u201cFunctional Computations in Logic Programs,\u201d ACM Transactions on Programming Languages and Systems 11, 3 (July 1989), pp. 451\u2013481.","journal-title":"ACM Transactions on Programming Languages and Systems 11"},{"issue":"no.5","key":"16_CR3","doi-asserted-by":"publisher","first-page":"826","DOI":"10.1145\/161468.161472","volume":"15","author":"S. K. Debray","year":"1993","unstructured":"S. K. Debray, and N.-W. Lin, \u201cCost Analysis of Logic Programs\u201d, ACM Transactions on Programming Languages and Systems, vol. 15 no. 5, Nov. 1993, pp. 826\u2013875.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"S. K. Debray and N. Lin, \u201cStatic Estimation of Query Sizes in Horn Programs,\u201d Proc. Third International Conference on Database Theory, Paris, France, December 1990, pp. 514\u2013528.","DOI":"10.1007\/3-540-53507-1_99"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"S. K. Debray, N.-W. Lin, and M. Hermenegildo, \u201cTask Granularity Analysis in Logic Programs\u201d, Proc. of the 1990 ACM Conf. on Programming Language Design and Implementation, pp. 174\u2013188. ACM Press, June 1990.","DOI":"10.1145\/93542.93564"},{"key":"16_CR6","unstructured":"S. K. Debray, P. L\u00f3pez Garc\u00eda, M. Hermenegildo, and N.-W. Lin, \u201cLower Bound Cost Estimation for Logic Programs\u201d, manuscript, April 1994."},{"key":"16_CR7","unstructured":"Decorte, D. De Schreye, and M. Fabris, \u201cAutomatic Inference of Norms: A Missing Link in Automatic Termination Analysis\u201d, Proc. 1993 International Symposium on Logic Programming, 1993, pp. 420\u2013436. MIT Press."},{"key":"16_CR8","unstructured":"N.-W. Lin, Automatic Complexity Analysis of Logic Programs, Ph.D. Dissertation, The University of Arizona, 1993."},{"key":"16_CR9","first-page":"279","volume":"191","author":"J. V. Matijasevi\u010d","year":"1970","unstructured":"Ju. V. Matijasevi\u010d, \u201cEnumerable Sets are Diophantine\u201d, Doklady Akademii Nauk SSSR, 191 (1970), 279\u2013282 (in Russian; English translation in Soviet Mathematics\u2014Doklady, 11 (1970), 354\u2013357).","journal-title":"Doklady Akademii Nauk SSSR"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58485-4_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:18:08Z","timestamp":1619572688000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58485-4_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584858","9783540490050"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-58485-4_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}