{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:10:49Z","timestamp":1725455449912},"publisher-location":"Berlin\/Heidelberg","reference-count":8,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540522913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022188","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T00:40:43Z","timestamp":1131842443000},"page":"437-451","source":"Crossref","is-referenced-by-count":2,"title":["The reuse and modification of rulebases by predicate substitution"],"prefix":"10.1007","author":[{"given":"Anthony J.","family":"Bonner","sequence":"first","affiliation":[]},{"given":"Tomasz","family":"Imielinski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"29_CR1","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. Journal of the ACM, 29(3):841\u2013862, 1982.","journal-title":"Journal of the ACM"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"C. Beeri, S. Naqvi, and R. Ramakrishnan. Sets and negation in a logic database language (LDL). In Proceedings of the ACM Symposium on the Principles of Database Systems (PODS), San Diego, CA, 1987.","DOI":"10.1145\/28659.28662"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"J. Chomicki and T. Imielinski. Relational specification of infinite query answers. In Proceedings of the International Conference on Management of Data (SIGMOD), Portland, Oregon, May 1989.","DOI":"10.1145\/67544.66942"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"G.M. Kuper. Logic programming with sets. In Proceedings of the ACM Symposium on the Principles of Database Systems (PODS), San Diego, CA, 1987.","DOI":"10.1145\/28659.28661"},{"key":"29_CR5","unstructured":"L.T. McCarty and N.S. Sridharan. The Representation of an Evolving System of Legal Concepts. II. prototypes and deformations. In Proceedings of the Seventh IJCAI, pages 246\u2013253, 1981."},{"key":"29_CR6","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"A. Tarski. A Lattice-Theoretical Fixpoint Theorem and its Applications. Pacific Journal of Mathematics, 5:285\u2013309, 1955.","journal-title":"Pacific Journal of Mathematics"},{"key":"29_CR7","unstructured":"S. Tsur and C. Zaniolo. LDL: A logic-based data-language. In Proceedings of the International Conference on Very Large Databases (VLDB), Kyoto, Japan, 1986."},{"issue":"4","key":"29_CR8","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. Journal of the ACM, 23(4):733\u2013742, 1976.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology \u2014 EDBT '90"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022188.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:48:01Z","timestamp":1607532481000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022188"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540522913"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0022188","relation":{},"subject":[]}}