{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T00:35:07Z","timestamp":1649205307207},"reference-count":13,"publisher":"Informa UK Limited","issue":"10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer Mathematics"],"published-print":{"date-parts":[[2004,10]]},"DOI":"10.1080\/00207160412331284051","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T16:47:17Z","timestamp":1096994837000},"page":"1203-1211","source":"Crossref","is-referenced-by-count":3,"title":["Serializable histories in quantified propositional temporal logic"],"prefix":"10.1080","volume":"81","author":[{"given":"Walter","family":"Hussak","sequence":"first","affiliation":[]}],"member":"301","reference":[{"key":"b1","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"b2","first-page":"pp. 215\u2013273","volume-title":"The Correctness Problem in Computer Science, Academic Press","author":"Manna Z","year":"1981"},{"key":"b3","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(00)00018-X"},{"key":"b4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"b5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90009-4"},{"key":"b6","doi-asserted-by":"publisher","DOI":"10.1007\/BF00290709"},{"key":"b7","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90054-J"},{"key":"b8","first-page":"pp. 232\u2013245","volume-title":"Proceedings LICS 1991, IEEE Computer Society Press","author":"Peled D","year":"1991"},{"key":"b9","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90008-9"},{"key":"b10","first-page":"pp. 2\u201312","volume-title":"Proceedings LICS 1995, IEEE Computer Society Press","author":"Kesten Y","year":"1995"},{"key":"b11","first-page":"pp. 127\u2013148","volume-title":"Advances in Modal Logic","volume":"4","author":"French T","year":"2003"},{"key":"b12","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(83)80051-5"},{"key":"b13","first-page":"pp. 155\u2013165","volume-title":"Proceedings TIME-ICTL\u201903, IEEE Computer Society Press","author":"French T","year":"2003"}],"container-title":["International Journal of Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207160412331284051","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,14]],"date-time":"2016-12-14T06:03:32Z","timestamp":1481695412000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207160412331284051"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,10]]},"references-count":13,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2004,10]]}},"alternative-id":["10.1080\/00207160412331284051"],"URL":"https:\/\/doi.org\/10.1080\/00207160412331284051","relation":{},"ISSN":["0020-7160","1029-0265"],"issn-type":[{"value":"0020-7160","type":"print"},{"value":"1029-0265","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,10]]}}}