{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,28]],"date-time":"2022-03-28T22:28:56Z","timestamp":1648506536587},"reference-count":17,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2005,1]]},"DOI":"10.3166\/jancl.15.341-357","type":"journal-article","created":{"date-parts":[[2007,4,11]],"date-time":"2007-04-11T14:30:30Z","timestamp":1176301830000},"page":"341-357","source":"Crossref","is-referenced-by-count":0,"title":["Adding clauses to poor man's logic (without increasing the complexity)"],"prefix":"10.1080","volume":"15","author":[{"given":"Peter","family":"Jonsson","sequence":"first","affiliation":[{"name":"a   Department of Computer and Information Science , Link\u00f6ping University , SE-581 83,  Link\u00f6ping ,  Sweden"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(79)90002-4"},{"issue":"1","key":"CIT0002","first-page":"153","volume":"140","author":"BROXVALL M.","year":"2001","journal-title":"Artificial Intelligence"},{"key":"CIT0003","first-page":"509","volume-title":"Proceedings of the 8th International Conference on Principles on Knowledge Representation and Reasoning (KR-2002)","author":"BROXVALL M."},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1145\/355483.355485"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2625"},{"key":"CIT0007","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"GAREY M.","year":"1979"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90049-4"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(95)00018-A"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/11.4.609"},{"key":"CIT0011","volume-title":"Deontic logic: introductory and systematic readings","author":"HILPINEN R.","year":"1970"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00031-9"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00177-8"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1137\/0206033"},{"key":"CIT0015","first-page":"216","volume-title":"Proceedings of the 10th ACM Symposium on Theory of Computing","author":"SCHAEFER T. J."},{"key":"CIT0016","volume-title":"Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91)","author":"SCHILD K.","year":"1991"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90078-X"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.15.341-357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T14:12:12Z","timestamp":1498227132000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.15.341-357"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,1]]},"references-count":17,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2005,1]]}},"alternative-id":["10.3166\/jancl.15.341-357"],"URL":"https:\/\/doi.org\/10.3166\/jancl.15.341-357","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,1]]}}}