{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:37:41Z","timestamp":1725543461607},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540354284"},{"type":"electronic","value":"9783540354307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11779148_19","type":"book-chapter","created":{"date-parts":[[2006,6,21]],"date-time":"2006-06-21T05:55:49Z","timestamp":1150869349000},"page":"203-214","source":"Crossref","is-referenced-by-count":6,"title":["Well-Founded Semantics for Boolean Grammars"],"prefix":"10.1007","author":[{"given":"Vassilis","family":"Kountouriotis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Nomikos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panos","family":"Rondogiannis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19, 20","author":"K. Apt","year":"1994","unstructured":"Apt, K., Bol, R.: Logic Programming and Negation: A Survey. Journal of Logic Programming\u00a019, 20, 9\u201371 (1994)","journal-title":"Journal of Logic Programming"},{"issue":"4","key":"19_CR2","first-page":"519","volume":"6","author":"A. Okhotin","year":"2001","unstructured":"Okhotin, A.: Conjunctive Grammars. Journal of Automata, Languages and Combinatorics\u00a06(4), 519\u2013535 (2001)","journal-title":"Journal of Automata, Languages and Combinatorics"},{"issue":"1","key":"19_CR3","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.ic.2004.03.006","volume":"194","author":"A. Okhotin","year":"2004","unstructured":"Okhotin, A.: Boolean Grammars. Information and Computation\u00a0194(1), 19\u201348 (2004)","journal-title":"Information and Computation"},{"key":"19_CR4","first-page":"321","volume-title":"Formal Techniques in Artificial Intelligence: a Source-Book","author":"H. Przymusinska","year":"1990","unstructured":"Przymusinska, H., Przymusinski, T.: Semantic Issues in Deductive Databases and Logic Programs. In: Banerji, R. (ed.) Formal Techniques in Artificial Intelligence: a Source-Book, pp. 321\u2013367. North-Holland, Amsterdam (1990)"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Przymusinski, T.C: Every Logic Program has a Natural Stratification and an Iterated Fixed Point Model. In: Proceedings of the 8th Symposium on Principles of Database Systems ACM SIGACT-SIGMOD, pp. 11\u201321 (1989)","DOI":"10.1145\/73721.73723"},{"issue":"2","key":"19_CR6","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1145\/1055686.1055694","volume":"6","author":"P. Rondogiannis","year":"2005","unstructured":"Rondogiannis, P., Wadge, W.W.: Minimum Model Semantics for Logic Programs with Negation-as-Failure. ACM Transactions on Computational Logic\u00a06(2), 441\u2013467 (2005)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"3","key":"19_CR7","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"van Gelder, A., Ross, K.A., Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Wrona, M.: Stratified Boolean Grammars. MFCS, 801\u2013812 (2005)","DOI":"10.1007\/11549345_69"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11779148_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:15:48Z","timestamp":1619507748000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11779148_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540354284","9783540354307"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/11779148_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}