{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T22:02:24Z","timestamp":1648850544708},"reference-count":7,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Computer Journal"],"published-print":{"date-parts":[[2009,5,1]]},"DOI":"10.1093\/comjnl\/bxm085","type":"journal-article","created":{"date-parts":[[2007,10,12]],"date-time":"2007-10-12T00:45:26Z","timestamp":1192149926000},"page":"280-287","source":"Crossref","is-referenced-by-count":4,"title":["Heuristic-Guided Abstraction Refinement"],"prefix":"10.1093","volume":"52","author":[{"given":"F.","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"X.","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Gu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2007,10,11]]},"reference":[{"key":"2_34673616","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/10722167_15","volume":"1855","year":"2000","journal-title":"Lecture Notes in Computer Science","ISSN":"http:\/\/id.crossref.org\/issn\/0302-9743","issn-type":"print"},{"key":"3_29608258","doi-asserted-by":"crossref","first-page":"1113","DOI":"10.1109\/TCAD.2004.829807","volume":"23","year":"2004","journal-title":"IEEE TRANS COMPUT AIDED DES"},{"key":"5_34673617","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/3-540-36577-X_13","volume":"2619","year":"2003","journal-title":"Lecture Notes in Computer Science","ISSN":"http:\/\/id.crossref.org\/issn\/0302-9743","issn-type":"print"},{"key":"6_34673618","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/11513988_11","volume":"3576","year":"2005","journal-title":"Lecture Notes in Computer Science","ISSN":"http:\/\/id.crossref.org\/issn\/0302-9743","issn-type":"print"},{"key":"9_29608259","doi-asserted-by":"crossref","first-page":"608","DOI":"10.1016\/S1571-0661(05)82546-0","volume":"89","year":"2003","journal-title":"ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE"},{"key":"10_34673619","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/3-540-36577-X_2","volume":"2619","year":"2003","journal-title":"Lecture Notes in Computer Science","ISSN":"http:\/\/id.crossref.org\/issn\/0302-9743","issn-type":"print"},{"key":"13_29608260","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/254180.254190","volume":"29","year":"1997","journal-title":"ACM COMPUT SURV"}],"container-title":["The Computer Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/comjnl\/article-pdf\/52\/3\/280\/1066198\/bxm085.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T20:18:17Z","timestamp":1549311497000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/comjnl\/article-lookup\/doi\/10.1093\/comjnl\/bxm085"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,11]]},"references-count":7,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2009,4,27]]},"published-print":{"date-parts":[[2009,5,1]]}},"URL":"https:\/\/doi.org\/10.1093\/comjnl\/bxm085","relation":{},"ISSN":["0010-4620","1460-2067"],"issn-type":[{"value":"0010-4620","type":"print"},{"value":"1460-2067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,11]]}}}