{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T06:43:49Z","timestamp":1743489829134},"reference-count":27,"publisher":"Oxford University Press (OUP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2014,8,1]]},"DOI":"10.1093\/logcom\/exu002","type":"journal-article","created":{"date-parts":[[2014,2,20]],"date-time":"2014-02-20T01:34:52Z","timestamp":1392860092000},"page":"953-988","source":"Crossref","is-referenced-by-count":11,"title":["A substructural logic for layered graphs"],"prefix":"10.1093","volume":"24","author":[{"given":"M.","family":"Collinson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"McDonald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Pym","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2014,2,18]]},"reference":[{"key":"3_29186800","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","year":"1982","journal-title":"JOURNAL OF PHILOSOPHICAL LOGIC"},{"key":"4_47446344","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/BFb0014046","volume":"902","year":"1995","journal-title":"PROCEEDINGS OF SECOND INTERNATIONAL CONFERENCE ON TYPED CALCULI AND APPLICATIONS"},{"key":"7_47446345","first-page":"1223","volume":"100","year":"2012","journal-title":"STUDIA LOGICA SPECIAL ISSUE ON RECENT DEVELOPMENTS RELATED TO RESIDUATED LATTICES AND SUBSTRUCTURAL LOGICS"},{"key":"8_40677994","first-page":"1","volume":"6","year":"2010","journal-title":"LOGICAL METHODS IN COMPUTER SCIENCE"},{"key":"9_47446346","first-page":"597","volume":"2380","year":"2002","journal-title":"ICALP AUTOMATA LANGUAGES AND PROGRAMMING TH INTERNATIONAL COLLOQUIUM"},{"issue":"6","key":"11_35312258","doi-asserted-by":"publisher","first-page":"1207","DOI":"10.1093\/logcom\/exp021","volume":"19","year":"2009","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"13_47446347","doi-asserted-by":"crossref","first-page":"959","DOI":"10.1017\/S0960129509990077","volume":"19","year":"2009","journal-title":"MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE"},{"key":"15_47446348","first-page":"313","volume":"1","year":"1997","journal-title":"GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATIONS"},{"key":"16_47446349","first-page":"236","volume":"205","year":"2007","journal-title":"INFORMATION AND COMPUTATION"},{"key":"17_47446350","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/BF00671566","volume":"47","year":"1988","journal-title":"STUDIA LOGICA"},{"key":"18_47446351","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF00370633","volume":"48","year":"1989","journal-title":"STUDIA LOGICA"},{"key":"19_47446352","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1137\/S0097539795279943","volume":"28","year":"1998","journal-title":"SIAM JOURNAL ON COMPUTING"},{"key":"20_28937011","doi-asserted-by":"crossref","first-page":"1033","DOI":"10.1017\/S0960129505004858","volume":"15","year":"2005","journal-title":"MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE"},{"key":"21_35390190","first-page":"176","volume":"39","year":"1934","journal-title":"MATHEMATISCHE ZEITSCHRIFT"},{"key":"22_39085303","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","year":"1987","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"23_47446353","doi-asserted-by":"crossref","first-page":"600","DOI":"10.1016\/j.cor.2006.03.022","volume":"35","year":"2008","journal-title":"COMPUTERS AND OPERATIONS RES"},{"key":"25_38346049","first-page":"99","volume":"4","year":"2002","journal-title":"HANDBOOK OF PHILOSOPHICAL LOGIC"},{"key":"27_27326975","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","year":"1985","journal-title":"JOURNAL OF THE ACM"},{"issue":"13","key":"29_22167971","doi-asserted-by":"publisher","first-page":"138701","DOI":"10.1103\/PhysRevLett.96.138701","volume":"96","author":"Kurant","year":"2006","journal-title":"Physical Review Letters","ISSN":"http:\/\/id.crossref.org\/issn\/1079-7114","issn-type":"print"},{"key":"30_47446354","first-page":"278","volume":"2","year":"1968","journal-title":"J MATH SYSTEMS THEORY"},{"key":"31_47446355","first-page":"76","volume":"86","year":"1969","journal-title":"SPRINGER LNM"},{"key":"32_47446356","first-page":"57","volume":"274","year":"1972","journal-title":"SPRINGER LNM"},{"key":"35_28937013","doi-asserted-by":"crossref","first-page":"215","DOI":"10.2307\/421090","volume":"5","year":"1999","journal-title":"BULLETIN OF SYMBOLIC LOGIC"},{"key":"36_47446357","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0304-3975(91)90263-2","volume":"84","year":"1991","journal-title":"THEORETICAL COMPUTING SCIENCE"},{"key":"37_47446358","doi-asserted-by":"crossref","first-page":"628","DOI":"10.1016\/j.dam.2010.03.014","volume":"159","year":"2011","journal-title":"DISCRETE APPLIED MATHEMATICS"},{"key":"41_35312265","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/j.tcs.2003.11.020","volume":"315","year":"2004","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"46_47446359","doi-asserted-by":"crossref","first-page":"9548","DOI":"10.1016\/j.eswa.2008.07.090","volume":"36","year":"2009","journal-title":"EXPERT SYSTEMS WITH APPLICATIONS"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/24\/4\/953\/3351705\/exu002.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,15]],"date-time":"2020-08-15T14:53:41Z","timestamp":1597503221000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exu002"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2,18]]},"references-count":27,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2014,7,23]]},"published-print":{"date-parts":[[2014,8,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exu002","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,2,18]]}}}