{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,7,11]],"date-time":"2022-07-11T15:51:27Z","timestamp":1657554687081},"reference-count":16,"publisher":"Oxford University Press (OUP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2014,10,1]]},"DOI":"10.1093\/logcom\/ext038","type":"journal-article","created":{"date-parts":[[2013,8,15]],"date-time":"2013-08-15T12:23:00Z","timestamp":1376569380000},"page":"1023-1069","source":"Crossref","is-referenced-by-count":3,"title":["Approximate reasoning about logic circuits with single-fan-out unreliable gates"],"prefix":"10.1093","volume":"24","author":[{"given":"A.","family":"Sernadas","sequence":"first","affiliation":[]},{"given":"J.","family":"Rasga","sequence":"additional","affiliation":[]},{"given":"C.","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"P.","family":"Mateus","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2013,8,14]]},"reference":[{"key":"1_46320351","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/s11225-009-9175-4","volume":"91","year":"2009","journal-title":"STUDIA LOGICA"},{"key":"2_46320352","doi-asserted-by":"crossref","first-page":"924","DOI":"10.1016\/j.ipl.2010.07.022","volume":"110","year":"2010","journal-title":"INFORMATION PROCESSING LETTERS"},{"key":"3_46320353","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/j.tcs.2007.02.040","volume":"379","year":"2007","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"4_46320354","first-page":"74","volume":"52","year":"2009","journal-title":"Communications of the ACM","ISSN":"http:\/\/id.crossref.org\/issn\/0001-0782","issn-type":"print"},{"key":"5_46320355","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.scico.2008.09.006","volume":"74","year":"2008","journal-title":"SCIENCE OF COMPUTER PROGRAMMING"},{"key":"6_26937559","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","year":"1990","journal-title":"INFORMATION AND COMPUTATION"},{"key":"7_46320356","doi-asserted-by":"crossref","first-page":"1099","DOI":"10.1109\/TNANO.2011.2111460","volume":"10","year":"2011","journal-title":"IEEE TRANSACTIONS ON NANOTECHNOLOGY"},{"key":"8_46320357","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1109\/MDT.2005.97","volume":"22","year":"2005","journal-title":"IEEE DESIGN TEST OF COMPUTERS"},{"key":"10_46320358","doi-asserted-by":"crossref","first-page":"2054","DOI":"10.1109\/TVLSI.2011.2166417","volume":"20","year":"2012","journal-title":"IEEE TRANSACTIONS ON VLSI SYSTEMS"},{"key":"12_46320359","first-page":"165","volume":"1","year":"2005","journal-title":"ESSAYS ON THE FOUNDATIONS OF MATHEMATICS AND LOGIC"},{"key":"13_27496362","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","year":"1986","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"14_46320360","doi-asserted-by":"crossref","first-page":"1151","DOI":"10.1016\/j.ijar.2008.08.007","volume":"50","year":"2009","journal-title":"INTERNATIONAL JOURNAL OF APPROXIMATE REASONING"},{"key":"15_25334778","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(93)90061-F","volume":"64","year":"1993","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"16_46320361","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/TVLSI.2008.2003167","volume":"17","year":"2009","journal-title":"IEEE TRANSACTIONS ON VLSI SYSTEMS"},{"key":"17_46320362","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/s11787-011-0032-7","volume":"5","year":"2011","journal-title":"LOGICA UNIVERSALIS"},{"issue":"6","key":"18_40944811","doi-asserted-by":"publisher","first-page":"1453","DOI":"10.1093\/logcom\/exr035","volume":"22","year":"2012","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\/24\/5\/1023\/2768516\/ext038.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T15:08:54Z","timestamp":1503500934000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/ext038"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,14]]},"references-count":16,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2014,9,24]]},"published-print":{"date-parts":[[2014,10,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/ext038","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,8,14]]}}}