{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T10:26:10Z","timestamp":1649154370988},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Parallel Process. Lett."],"published-print":{"date-parts":[[1996,6]]},"abstract":"<jats:p> In this paper we investigate the parallel complexity of computing the stable model of acyclic general logic programs. Within this class of logic programs, we consider the cases of negative and definite logic programs. Both cases are proved to be [Formula: see text]-complete. We prove the same for a related problem, namely that of computing the kernel of a directed acyclic graph. <\/jats:p>","DOI":"10.1142\/s0129626496000224","type":"journal-article","created":{"date-parts":[[2004,10,28]],"date-time":"2004-10-28T18:29:23Z","timestamp":1098988163000},"page":"223-230","source":"Crossref","is-referenced-by-count":0,"title":["ON THE PARALLEL COMPLEXITY OF ACYCLIC LOGIC PROGRAMS"],"prefix":"10.1142","volume":"06","author":[{"given":"SHIVA","family":"CHAUDHURI","sequence":"first","affiliation":[{"name":"Max-Planck-Institut f\u00fcr Informatik, Im Stadtwald, 66123 Saarbr\u00fccken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"YANNIS","family":"DIMOPOULOS","sequence":"additional","affiliation":[{"name":"Max-Planck-Institut f\u00fcr Informatik, Im Stadtwald, 66123 Saarbr\u00fccken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"CHRISTOS D.","family":"ZAROLIAGIS","sequence":"additional","affiliation":[{"name":"Max-Planck-Institut f\u00fcr Informatik, Im Stadtwald, 66123 Saarbr\u00fccken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"container-title":["Parallel Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129626496000224","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T16:18:42Z","timestamp":1565108322000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129626496000224"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6]]},"references-count":0,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[1996,6]]}},"alternative-id":["10.1142\/S0129626496000224"],"URL":"https:\/\/doi.org\/10.1142\/s0129626496000224","relation":{},"ISSN":["0129-6264","1793-642X"],"issn-type":[{"value":"0129-6264","type":"print"},{"value":"1793-642X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,6]]}}}