{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:00Z","timestamp":1725455880644},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540528504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018383","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:31:37Z","timestamp":1132637497000},"page":"241-253","source":"Crossref","is-referenced-by-count":0,"title":["Improving prolog performance by inductive proof generalizations"],"prefix":"10.1007","author":[{"given":"Milind","family":"Gandhe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G","family":"Venkatesh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","volume-title":"Compilers; Principles, Techniques and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi Ravi and Ullman, J.D. Compilers; Principles, Techniques and Tools, Reading, Addison-Wesley, 1986."},{"issue":"3","key":"20_CR2","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K.R. Apt","year":"1982","unstructured":"Apt, K.R. and van Emden, M.H., Contributions to the Theory of Logic Programming, JACM, 29(3), pp.841\u2013862, 1982.","journal-title":"JACM"},{"key":"20_CR3","unstructured":"Clocksin, W.F. and Mellish, C.S., Programming in Prolog, Springer Verlag, 1981."},{"key":"20_CR4","unstructured":"Gandhe, M., Studies in Intuitionistic Type Theory, Internal Report, Department of COmputer Science and Engineering, I.I.T. Bombay, 1988."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Gordon, M., Milner, R. and Wadsworth, C. Edinburgh LCF, LNCS vol.78, Springer Verlag, 1979.","DOI":"10.1007\/3-540-09724-4"},{"key":"20_CR6","unstructured":"Hindley, J.R. and Seldin, J.P., Introduction to Combinators and Lambda Calculus, London Mathematical Society Student Texts #1, Cambridge University Press, 1986."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W., Foundations of Logic Programming, Springer Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Lowen,U., Optimization Aspects of Logical Formulas in Proceedings of the First Workshop on Computer Science Logic CSL'87, eds. Borger, E, Kleine Buning, H. and Richter, M.M., LNCS vol 329, Springer Verlag, pp. 173\u2013187, 1988.","DOI":"10.1007\/3-540-50241-6_37"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Martin-Lof, P., Constructive Mathematics and Logic Programming in Logic, Methodology and Philosophy of Science, vol 6, North Holland, pp. 153\u2013175, 1980.","DOI":"10.1016\/S0049-237X(09)70189-2"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Milner, R, Dialogue with a Proof System, Proceedings of TAPSOFT'87, LNCS vol 249, Springer Verlag, 1987.","DOI":"10.1007\/3-540-17660-8_61"}],"container-title":["Lecture Notes in Computer Science","Knowledge Based Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018383.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:41:20Z","timestamp":1607550080000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018383"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540528504"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0018383","relation":{},"subject":[]}}