{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:28:20Z","timestamp":1725488900362},"publisher-location":"London","reference-count":14,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197423"},{"type":"electronic","value":"9781447134947"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3494-7_1","type":"book-chapter","created":{"date-parts":[[2013,2,28]],"date-time":"2013-02-28T23:16:55Z","timestamp":1362093415000},"page":"1-12","source":"Crossref","is-referenced-by-count":0,"title":["Program Equivalence, Program Development and Integrity Checking"],"prefix":"10.1007","author":[{"given":"Jonathan M.","family":"Lever","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"K. R. Apt, H. A. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89-148. Morgan Kaufman, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"1_CR2","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming In R. A. Kowalski, editor, Proceedings of the Fifth Logic Programming Symposium, pages 1070-1080, Seatle, Washington, 1988. MIT Press."},{"issue":"1","key":"1_CR3","first-page":"77","volume":"8","author":"A Guessom","year":"1990","unstructured":"A. Guessom and J. W. Lloyd. Updating knowledge bases. New Generation Computing 8(1): 77\u201389, 1990.","journal-title":"New Generation Computing"},{"key":"1_CR4","unstructured":"C. J. Hogger. Programming environments. Invited talk, ECAI 88, 1988."},{"key":"1_CR5","volume-title":"Logic for Problem Solving","author":"RA Kowalski","year":"1979","unstructured":"R. A. Kowalski. Logic for Problem Solving. North Holland, Amsterdam, 1979."},{"key":"1_CR6","unstructured":"K. Kunen. Some remarks on the completed database. In Proceedings of the Fith Logic Programming Symposium pages 978-992. MIT Press, 1988."},{"key":"1_CR7","unstructured":"J. M. Lever. Proving program properties by means of SLS-resolution. In Proceedings of the Eighth Int. Conference on Logic Programming pages 614-628. MIT Press, 1991."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"M. J. Maher. Equivalences of logic programs. In J. Minker, editor, Foundations of Deductive Databases pages 627-658. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50020-8"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"T. C. Przymusinski. On the declarative semantics of deductive databases and logic programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming pages 193-216. Morgan Kaufman, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"1_CR10","unstructured":"T. C. Przymusinski. Perfect model semantics. In R. A. Kowalski, editor, Proceedings of the Fifth Logic Programming Symposium pages 1081-1096, Seatle,Washington, 1988. MIT Press."},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BF00243002","volume":"5","author":"TC Przymusinski","year":"1989","unstructured":"T. C. Przymusinski. On the declarative and procedural semantics of logic programs. Journal of Automated Reasoning 5: 167\u2013205, 1989.","journal-title":"Journal of Automated Reasoning"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"F. Sadri and R. A. Kowalski. A theorem proving approach to database integrity. In J. Minker, editor, Foundations of Deductive Databases pages 313-362. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50013-0"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"J. C. Shepherdson. Negation in logic programming. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming pages 19-88. Morgan Kaufman, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50005-1"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"A. Van Gelder, K. Ross, and J. Sclipf. Unfounded sets and well-founded semantics for general logic programs. In Proceedings of the Seventh Symposium on Principles of Database Systems pages 221-230, 1988.","DOI":"10.1145\/308386.308444"}],"container-title":["Workshops in Computing","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3494-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T09:00:28Z","timestamp":1557565228000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3494-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197423","9781447134947"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3494-7_1","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}