{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T13:25:24Z","timestamp":1726061124137},"reference-count":6,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2010,6,1]]},"DOI":"10.1093\/logcom\/exn076","type":"journal-article","created":{"date-parts":[[2008,11,22]],"date-time":"2008-11-22T01:55:25Z","timestamp":1227318925000},"page":"675-706","source":"Crossref","is-referenced-by-count":114,"title":["Rule Systems for Run-time Monitoring: from EAGLE to RULER"],"prefix":"10.1093","volume":"20","author":[{"given":"H.","family":"Barringer","sequence":"first","affiliation":[]},{"given":"D.","family":"Rydeheard","sequence":"additional","affiliation":[]},{"given":"K.","family":"Havelund","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2008,11,21]]},"reference":[{"key":"4_32680180","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1007\/BF01211631","volume":"7","year":"1995","journal-title":"FORMAL ASPECTS OF COMPUTING"},{"key":"6_38350170","first-page":"264b","volume":"17","year":"2004","journal-title":"PROCEEDINGS OF PADTAD SANTA FE NEW MEXICO IEEE COMPUTER SOCIETY"},{"issue":"4","key":"10_21344403","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1093\/logcom\/7.4.429","volume":"7","author":"FISHER","year":"1997","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"11_32680182","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1023\/B:FORM.0000017718.28096.48","volume":"24","year":"2004","journal-title":"FORMAL METHODS IN SYSTEM DESIGN"},{"key":"14_32680183","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1145\/321250.321254","volume":"12","year":"1965","journal-title":"JOURNAL OF THE ASSOCIATION OF COMPUTING MACHINERY"},{"key":"16_32680184","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.tcs.2004.12.029","volume":"337","year":"2005","journal-title":"THEORETICAL COMPUTER SCIENCE"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/20\/3\/675\/6293101\/exn076.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T20:47:00Z","timestamp":1550263620000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exn076"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,21]]},"references-count":6,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2010,5,21]]},"published-print":{"date-parts":[[2010,6,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exn076","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11,21]]}}}