{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T13:05:30Z","timestamp":1649163930014},"reference-count":21,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Cybernetics and Systems"],"published-print":{"date-parts":[[2017,4,3]]},"DOI":"10.1080\/01969722.2016.1276777","type":"journal-article","created":{"date-parts":[[2017,3,6]],"date-time":"2017-03-06T09:02:46Z","timestamp":1488790966000},"page":"249-266","update-policy":"http:\/\/dx.doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":0,"title":["Extending Query-Subquery Nets for Deductive Databases under the Well-Founded Semantics"],"prefix":"10.1080","volume":"48","author":[{"given":"Son Thanh","family":"Cao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linh Anh","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ngoc Thanh","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2017,3,2]]},"reference":[{"key":"CIT0001","volume-title":"Foundations of databases","author":"Abiteboul S.","year":"1995"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)90038-Q"},{"key":"CIT0003","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/978-3-319-17996-4_32","volume":"358","author":"Cao S. T.","year":"2015","journal-title":"Proceedings of ICCSAMA\u20192015, Advances in Intelligent Systems and Computing"},{"key":"CIT0004","unstructured":"Cao, S. T. 2016a. Methods for evaluating queries to Horn knowledge bases in first-order logic. PhD dissertation. University of Warsaw, Warsaw, Poland. Available at http:\/\/mimuw.edu.pl\/~sonct\/stc-thesis.pdf"},{"key":"CIT0005","unstructured":"Cao, S. T. 2016b. An illustration of Algorithm 1 on an example. Available at http:\/\/mimuw.edu.pl\/~sonct\/Alg1.zip"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10518-5_9"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)00028-5"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1007\/bf01185404"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(93)90024-q"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116838"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00153-a"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1145\/2362355.2362360"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1996.0038"},{"key":"CIT0015","doi-asserted-by":"crossref","unstructured":"Nguyen, L. A., and S. T. Cao. 2012. Query-subquery nets. Proceedings of ICCCI\u20192012, Lecture Notes in Computer Science 7635:239\u201348.","DOI":"10.1007\/978-3-642-34630-9_25"},{"key":"CIT0016","doi-asserted-by":"crossref","unstructured":"Przymusinski, T. C. 1989. Every logic program has a natural stratification and an iterated least fixed point model. InProceedings of PODS\u20191989, 11\u201321, ACM.","DOI":"10.1145\/73721.73723"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1007\/bf01228878"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90019-y"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1017\/s1471068414000131"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(89)90088-1"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1007\/s40595-013-0001-6"}],"container-title":["Cybernetics and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/01969722.2016.1276777","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T11:56:08Z","timestamp":1498391768000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/01969722.2016.1276777"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,2]]},"references-count":21,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2017,3,2]]},"published-print":{"date-parts":[[2017,4,3]]}},"alternative-id":["10.1080\/01969722.2016.1276777"],"URL":"https:\/\/doi.org\/10.1080\/01969722.2016.1276777","relation":{},"ISSN":["0196-9722","1087-6553"],"issn-type":[{"value":"0196-9722","type":"print"},{"value":"1087-6553","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,2]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=ucbs20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=ucbs20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"}]}}