{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:28:23Z","timestamp":1742912903908,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540557074"},{"type":"electronic","value":"9783540472766"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0023889","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T01:02:35Z","timestamp":1132362155000},"page":"358-369","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Operators on lattices of \u03c9-Herbrand interpretations"],"prefix":"10.1007","author":[{"given":"Jan A.","family":"Plaza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,13]]},"reference":[{"key":"32_CR1","unstructured":"K. R. Apt, Introduction to Logic Programming, in J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, North Holland, 1989."},{"key":"32_CR2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K. R. Apt","year":"1988","unstructured":"K. R. Apt, H. A. Blair and A. Walker, Towards a Theory of Declarative knowledge, in J. Minker (ed.) Foundations of Deductive Databases and Logic Programming, Morgan, Kaufmann Publishers, Los Altos, 1988, pp. 89\u2013148."},{"issue":"3","key":"32_CR3","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K. R. Apt","year":"1982","unstructured":"K. R. Apt and M. H. van Emden, Contributions to the Theory of Logic Programming, J. ACM 29, 3, July 1982, pp. 841\u2013862.","journal-title":"J. ACM"},{"key":"32_CR4","first-page":"193","volume-title":"Logic and Databases","author":"K. L. Clark","year":"1978","unstructured":"K. L. Clark, Negation as Failure, in Logic and Databases, H. Gallaire and J. Minker (eds.), Plenum Press, New York, 1978, 193\u2013322."},{"key":"32_CR5","unstructured":"K. L. Clark, Predicate Logic as a Computational Formalism, Research Report DOC 79\/59, Dept. of Computing, Imperial College, 1979."},{"issue":"3","key":"32_CR6","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/0020-0190(82)90065-5","volume":"14","author":"J.-L. Lassez","year":"1982","unstructured":"J.-L. Lassez, V. L. Nguyen and E. A. Sonnenberg, Fixed Point Theorems and Semantics: A Folk Tale, Inf. Proc. Letters 14, 3 (1982), pp. 112\u2013116.","journal-title":"Inf. Proc. Letters"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd, Foundations of Logic Programming, Second extended edition, Springer Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"32_CR8","unstructured":"J. W. Lloyd, E. A. Soneneberg and R. W. Topor, Integrity Constraint Checking in Stratified Databases, Technical Report 86\/5, department of Computer Science, University of Melbourne, 1986."},{"issue":"No.1","key":"32_CR9","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0743-1066(86)90004-X","volume":"3","author":"J. W. Lloyd","year":"1986","unstructured":"J. W. Lloyd and R. W. Topor, A Basis for Deductive Database Systems II, J. Logic Programming, vol 3, No. 1, 1986, pp. 55\u201367.","journal-title":"J. Logic Programming"},{"key":"32_CR10","unstructured":"J. A. Plaza, Fully Declarative Programming with Logic \u2014 Mathematical Foundations, Doctoral Dissertation, City University of New York, July 1990."},{"key":"32_CR11","unstructured":"J. A. Plaza, An Extension of Clark's Equality Theory for the Foundations of Logic Programming, submitted for publication."},{"key":"32_CR12","unstructured":"H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, third edition, PWN \u2014 Polish Scientific Publishers, 1970."},{"key":"32_CR13","doi-asserted-by":"crossref","first-page":"193","DOI":"10.4064\/fm-37-1-193-200","volume":"37","author":"H. Rasiowa","year":"1950","unstructured":"H. Rasiowa and R. Sikorski, A proof of Completeness Theorem of G\u00f6del, Fundamenta Mathematicae 37 (1950), pp. 193\u2013200.","journal-title":"Fundamenta Mathematicae"},{"key":"32_CR14","doi-asserted-by":"crossref","first-page":"62","DOI":"10.4064\/fm-40-1-62-95","volume":"40","author":"H. Rasiowa","year":"1953","unstructured":"H. Rasiowa and R. Sikorski, Algebraic treatment of the notion of satisfiability, Fundamenta Mathematicae 40 (1953), pp. 62\u201395.","journal-title":"Fundamenta Mathematicae"},{"issue":"No.3","key":"32_CR15","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0743-1066(85)90018-4","volume":"2","author":"J. C. Shepherdson","year":"1985","unstructured":"J. C. Shepherdson, Negationa as Failure II, J. Logic Programming vol. 2, No. 3, 1985, pp. 185\u2013202.","journal-title":"J. Logic Programming"},{"key":"32_CR16","unstructured":"J. R. Shoenfield, Mathematical Logic, Addison-Wesley, 1967."},{"issue":"4","key":"32_CR17","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"M. H. van Emden and R. A. Kowalski, The Semantics of Predicate Logic as a Programming Language, J. ACM 23, 4 (Oct. 1976), pp. 733\u2013742.","journal-title":"J. ACM"},{"key":"32_CR18","unstructured":"A. Van Gelder, Negation as Failure using Tight Derivations for General Logic Programs, Proc. 3rd IEEE Symp. on Logic Programming, Salt Lake City, 1986, pp. 127\u2013138."}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science \u2014 Tver '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023889","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T23:22:57Z","timestamp":1578525777000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023889"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540557074","9783540472766"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0023889","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"13 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}