{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T10:01:41Z","timestamp":1648720901259},"reference-count":11,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2013,2,1]]},"DOI":"10.1093\/logcom\/exs004","type":"journal-article","created":{"date-parts":[[2012,4,5]],"date-time":"2012-04-05T00:33:27Z","timestamp":1333586007000},"page":"199-262","source":"Crossref","is-referenced-by-count":1,"title":["Generalized constraint diagrams and the classical decision problem"],"prefix":"10.1093","volume":"23","author":[{"given":"J.","family":"Burton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Stapleton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Howse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2012,4,4]]},"reference":[{"key":"4_42323626","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1016\/j.jvlc.2007.12.003","volume":"19","year":"2008","journal-title":"JOURNAL OF VISUAL LANGUAGES AND COMPUTING"},{"key":"5_42323652","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/978-3-540-71070-7_35","volume":"5195","year":"2008","journal-title":"AUTOMATED REASONING"},{"key":"6_42323628","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1016\/j.jvlc.2005.03.001","volume":"16","year":"2005","journal-title":"JOURNAL OF VISUAL LANGUAGES AND COMPUTING"},{"key":"8_42323629","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1023\/A:1008314528229","volume":"8","year":"1998","journal-title":"MINDS AND MACHINES"},{"key":"12_31303890","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1006\/jvlc.2000.0210","volume":"12","year":"2001","journal-title":"JOURNAL OF VISUAL LANGUAGES AND COMPUTING"},{"key":"13_42323630","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/s10270-004-0074-x","volume":"4","year":"2005","journal-title":"JOURNAL OF SOFTWARE AND SYSTEMS MODELING"},{"key":"14_42323631","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1112\/S1461157000000942","volume":"8","year":"2005","journal-title":"LMS JOURNAL OF COMPUTATION AND MATHEMATICS"},{"key":"23_42323632","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1016\/j.jvlc.2008.04.003","volume":"19","year":"2008","journal-title":"JOURNAL OF VISUAL LANGUAGES AND COMPUTING"},{"issue":"6","key":"25_21130319","doi-asserted-by":"publisher","first-page":"975","DOI":"10.1093\/logcom\/exi041","volume":"15","author":"Stapleton","year":"2005","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"26_42323633","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1016\/j.jvlc.2008.01.005","volume":"20","year":"2009","journal-title":"JOURNAL OF VISUAL LANGUAGES AND COMPUTING"},{"issue":"6","key":"27_20371624","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1093\/logcom\/14.6.857","volume":"14","author":"Stapleton","year":"2004","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/23\/1\/199\/2887235\/exs004.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T09:35:06Z","timestamp":1503480906000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exs004"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4,4]]},"references-count":11,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2013,1,22]]},"published-print":{"date-parts":[[2013,2,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exs004","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,4,4]]}}}