{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T19:21:47Z","timestamp":1710271307464},"reference-count":16,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[1996,9,1]],"date-time":"1996-09-01T00:00:00Z","timestamp":841536000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[1996,9]]},"DOI":"10.1016\/0020-0190(96)00130-5","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T18:21:21Z","timestamp":1027621281000},"page":"303-308","source":"Crossref","is-referenced-by-count":32,"title":["Fast and simple nested fixpoints"],"prefix":"10.1016","volume":"59","author":[{"given":"Helmut","family":"Seidl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/0020-0190(96)00130-5_BIB1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)90266-6","article-title":"Model checking and Boolean graphs","volume":"126","author":"Andersen","year":"1994","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0020-0190(96)00130-5_BIB2","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0020-0190(88)90029-4","article-title":"A linear time algorithm for solving fixpoint equations on transition systems","volume":"29","author":"Arnold","year":"1988","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/0020-0190(96)00130-5_BIB3","series-title":"Proc. 6th Conf. on Computer Aided Verification","first-page":"142","article-title":"An automatatheoretic approach to branching-time model checking (extended abstract)","volume":"818","author":"Bernholtz","year":"1994"},{"key":"10.1016\/0020-0190(96)00130-5_BIB4","series-title":"Proc. Tools and Algorithms for the Construction and Analysis of Systems","first-page":"107","article-title":"Efficient local model checking for fragments of the modal \u03bc-calculus","volume":"1055","author":"Bhat","year":"1996"},{"key":"10.1016\/0020-0190(96)00130-5_BIB5","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","article-title":"Symbolic model checking 1020 states and beyond","volume":"98","author":"Burch","year":"1992","journal-title":"Inform. and Comput."},{"key":"10.1016\/0020-0190(96)00130-5_BIB6","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF01383878","article-title":"A linear time model checking algorithm for the alternation-free modal \u03bc-calculus","volume":"2","author":"Cleaveland","year":"1993","journal-title":"Formal Methods in System Design"},{"key":"10.1016\/0020-0190(96)00130-5_BIB7","series-title":"Proc. 4th Conf. on Computer Aided Verification","first-page":"410","article-title":"Faster model checking for the modal \u03bc-calculus","volume":"663","author":"Cleaveland","year":"1992"},{"key":"10.1016\/0020-0190(96)00130-5_BIB8","series-title":"Proc. 1st IEEE Symp. on Logic in Computer Science","first-page":"267","article-title":"Efficient model checking in fragments of the propositional \u03bc-calculus","author":"Emerson","year":"1986"},{"key":"10.1016\/0020-0190(96)00130-5_BIB9","series-title":"Proc. 5th Conf. on Computer Aided Verification","first-page":"385","article-title":"On model-checking for fragments of \u03bc-calculus","volume":"697","author":"Emerson","year":"1993"},{"key":"10.1016\/0020-0190(96)00130-5_BIB10_1","article-title":"An even faster solver for general systems of equations","author":"Fecht","year":"1996","journal-title":"Tech. Rept. 96-11"},{"key":"10.1016\/0020-0190(96)00130-5_BIB10_2","series-title":"Proc. 3rd Int. Static Analysis Symposium","author":"Fecht","year":"1996"},{"key":"10.1016\/0020-0190(96)00130-5_BIB11","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","article-title":"Results on the propositional \u03bc-calculus","volume":"27","author":"Kozen","year":"1983","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0020-0190(96)00130-5_BIB12","series-title":"Proc. 6th Conf. on Computer Aided Verification","first-page":"338","article-title":"An improved algorithm for the evaluation of fixpoint expressions","volume":"818","author":"Long","year":"1994"},{"key":"10.1016\/0020-0190(96)00130-5_BIB13","first-page":"477","article-title":"Modal and temporal logics","author":"Stirling","year":"1992"},{"key":"10.1016\/0020-0190(96)00130-5_BIB14","series-title":"Proc. 15th Internat. Conf. on Principles of Programming Languages","first-page":"250","article-title":"A temporal fixpoint calculus","author":"Vardi","year":"1988"},{"key":"10.1016\/0020-0190(96)00130-5_BIB15","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0022-0000(86)90026-7","article-title":"Automata-theoretic techniques for modal logics of programs","volume":"32","author":"Vardi","year":"1986","journal-title":"J. Comput. System Sci."}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0020019096001305?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0020019096001305?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T22:24:32Z","timestamp":1556058272000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0020019096001305"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,9]]},"references-count":16,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1996,9]]}},"alternative-id":["0020019096001305"],"URL":"https:\/\/doi.org\/10.1016\/0020-0190(96)00130-5","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[1996,9]]}}}