{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:42Z","timestamp":1725456222429},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019343X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0012839","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:12:39Z","timestamp":1132726359000},"page":"313-322","source":"Crossref","is-referenced-by-count":2,"title":["Case inference in resolution-based languages"],"prefix":"10.1007","author":[{"given":"T.","family":"Wakayama","sequence":"first","affiliation":[]},{"given":"T. H.","family":"Payne","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.L. Chang","year":"1973","unstructured":"Chang, C.L., and Lee, R.C.T., Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, 1973."},{"key":"20_CR2","unstructured":"Grant,J., and Minker,J., Answering Queries in Indefinite Databases and the Null Value Problem. Technical Report 1374, University of Maryland, 1983."},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Gallaire,H., Minker,J., and Nicolas,J-M., Logic and Databases: A deductive Approach. Computing Surveys, Vol.16, No. 2, 1984.","DOI":"10.1145\/356924.356929"},{"key":"20_CR4","volume-title":"Proceedings of the 7th International Conference on Very Large Databases","author":"T. Imielinski","year":"1981","unstructured":"Imielinski, T., and Lipski, W., On Representing Incomplete Information in a Relational Database. Proceedings of the 7th International Conference on Very Large Databases. IEEE, New York, 1981."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Kowalski,R., and Kuehner,D., Linear Resolution with Selection Function, Artificial Intelligence 2, 1971.","DOI":"10.1016\/0004-3702(71)90012-9"},{"key":"20_CR6","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_CR7","doi-asserted-by":"crossref","unstructured":"Loveland,D.W., Mechanical Theorem Proving by Model Elimination. J. ACM, 1968.","DOI":"10.1145\/321450.321456"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Loveland,D.W., Near Horn Prolog, 4th International Conference in Logic Programming, Melbourne, 1987.","DOI":"10.21236\/ADA185172"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"On Indefinite Databases and the Closed World Assumption","author":"J. Minker","year":"1982","unstructured":"Minker, J., On Indefinite Databases and the Closed World Assumption. Lecture Notes in Computer Science, No. 138, Springer-Verlag, New York, 1982."},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Pryzymusinski,T., On the Semantics of Stratified Deductive Databases, Foundations of Deductive Databases and Logic Programming, J. Minker. ed., 1987.","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"20_CR11","volume-title":"Mathematical Logic","author":"J. Shoenfield","year":"1967","unstructured":"Shoenfield, J., Mathematical Logic. Addison-Wesley, Reading, Mass. 1967."},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler","author":"M.E. Stickel","year":"1986","unstructured":"Stickel, M.E., A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler. Lecture Notes in Computer Science, No 230, Springer-Verlag, New York, 1986."},{"key":"20_CR13","unstructured":"Wakayama,T., and Payne,T.H., Refining Linear Resolution for Clause Sets with Disjunctive Heads, in preparation."},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Yahya,A., and Henschen,L., Deduction in Non-Horn Databases, J. of Automated Reasoning 1, 1985.","DOI":"10.1007\/BF00244994"}],"container-title":["Lecture Notes in Computer Science","9th International Conference on Automated Deduction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0012839","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:24:17Z","timestamp":1586579057000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012839"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019343X"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0012839","relation":{},"subject":[]}}