{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:36:09Z","timestamp":1725734169335},"reference-count":23,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.1989.39160","type":"proceedings-article","created":{"date-parts":[[2003,1,7]],"date-time":"2003-01-07T14:15:12Z","timestamp":1041948912000},"page":"71-79","source":"Crossref","is-referenced-by-count":27,"title":["Fixpoint extensions of first-order logic and datalog-like languages"],"prefix":"10.1109","author":[{"given":"S.","family":"Abiteboul","sequence":"first","affiliation":[]},{"given":"V.","family":"Vianu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/567532.567537"},{"journal-title":"Skolem Normal Forms Concerning the Least Fixpoint Computation and Logic","year":"1987","author":"dahlhaus","key":"ref11"},{"journal-title":"Logic and the Challenge of Computer Science Trends in Theoretical Computer Science","first-page":"1","year":"1988","author":"gurevich","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1985.27"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1137\/0215061"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(86)80029-8"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50022-6"},{"year":"0","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/308386.308446"},{"journal-title":"Mathematical Logic and Hilbert's ?-symbol","year":"1969","author":"leisenring","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/308386.308448"},{"journal-title":"Transaction languages for database update and specification","year":"1987","author":"abiteboul","key":"ref3"},{"key":"ref6","first-page":"89","article-title":"Minimalism subsumes default logic and Circumscription in Stratified Logic Programming","author":"bidoit","year":"1987","journal-title":"Proc Symp Logic Comput Sci"},{"journal-title":"Datalog extensions for database updates and queries","year":"1988","author":"abiteboul","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(82)90012-5"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(80)90032-X"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567763"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(85)90002-0"},{"journal-title":"Proc Workshop Logic in Databases","article-title":"A logic for negation in database systems","year":"1986","author":"naqvi","key":"ref20"},{"journal-title":"Principles of Database and Knowledge Base Systems","year":"1988","author":"ullman","key":"ref22"},{"key":"ref21","first-page":"378","article-title":"On the semantics of stratified deductive databases","author":"przymunsinski","year":"1986","journal-title":"Foundations of Deductive Databases and Logic Programming"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(89)90032-0"}],"event":{"name":"[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science","location":"Pacific Grove, CA, USA"},"container-title":["[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx2\/249\/1547\/00039160.pdf?arnumber=39160","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T03:04:02Z","timestamp":1489028642000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/39160\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":23,"URL":"http:\/\/dx.doi.org\/10.1109\/lics.1989.39160","relation":{},"subject":[]}}
