{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:14:45Z","timestamp":1725488085641},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651413"},{"type":"electronic","value":"9783540495451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49545-2_21","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:41:28Z","timestamp":1186425688000},"page":"309-323","source":"Crossref","is-referenced-by-count":0,"title":["Implicates and Reduction Techniques for Temporal Logics"],"prefix":"10.1007","author":[{"given":"Inman P.","family":"de Guzm\u00e1n","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Ojeda-Aciego","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"August\u00edn","family":"Valverde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,2,26]]},"reference":[{"issue":"1","key":"21_CR1","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1080\/11663081.1995.10510841","volume":"5","author":"G. Aguilera","year":"1995","unstructured":"G. Aguilera, I. P. de Guzm\u00e1n, and M. Ojeda. Increasing the efficiency of automated theorem proving. Journal of Applied Non-Classical Logics, 5(1):9\u201329, 1995.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"2","key":"21_CR2","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1006\/inco.1996.0010","volume":"124","author":"R. Ben-Eliyahu","year":"1996","unstructured":"R. Ben-Eliyahu and M. Magidor. A temporal logic for proving properties of topologically general executions. Information and Computation 124(2):127\u2013144, 1996.","journal-title":"Information and Computation"},{"issue":"4","key":"21_CR3","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1145\/210332.210339","volume":"42","author":"C. Courcoubetis","year":"1995","unstructured":"C. Courcoubetis and M. Yannakakis. The complexity of probabilistic verification. Journal of the ACM 42(4):857\u2013907, 1995.","journal-title":"Journal of the ACM"},{"issue":"3","key":"21_CR4","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1093\/logcom\/6.3.343","volume":"6","author":"L. Fix","year":"1996","unstructured":"L. Fix and O. Grumberg. Verification of temporal properties. Journal of Logic and Computation 6(3):343\u2013362, 1996.","journal-title":"Journal of Logic and Computation"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent systems: specifications. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. Temporal verification of reactive systems: Safety. Springer-Verlag, 1995.","DOI":"10.1007\/978-1-4612-4222-2"},{"issue":"3","key":"21_CR7","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"A. P. Sistla","year":"1985","unstructured":"A. P. Sistla and E. M. Clarke. The complexity of propositional linear temporal logics. Journal of the ACM, 32(3):733\u2013749, 1985.","journal-title":"Journal of the ACM"},{"key":"21_CR8","first-page":"119","volume":"110\u2013111","author":"P. Wolper","year":"1985","unstructured":"P. Wolper. The tableaux method for temporal logic: an overview. Logique et Analyse 28 ann\u00e9e, 110\u2013111:119\u2013136, 1985.","journal-title":"Logique et Analyse 28 ann\u00e9e"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49545-2_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T00:29:57Z","timestamp":1550708997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49545-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651413","9783540495451"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-49545-2_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}