{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:24:46Z","timestamp":1725456286331},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540629207"},{"type":"electronic","value":"9783540690467"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027421","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:34:36Z","timestamp":1132641276000},"page":"291-306","source":"Crossref","is-referenced-by-count":0,"title":["A tableau proof system for a mazurkiewicz trace logic with fixpoints"],"prefix":"10.1007","author":[{"given":"Peter","family":"Niebert","sequence":"first","affiliation":[]},{"given":"Barbara","family":"Sprick","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Mads Dam. Fixpoints of B\u00fcchi automata. In International Conference on the Foundations of Software Technology and Theoretical Computer Science (FST&TCS), Lecture Notes in Computer Science, pages 39\u201350, 1992.","DOI":"10.1007\/3-540-56287-7_93"},{"issue":"3","key":"21_CR2","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1093\/logcom\/4.3.285","volume":"4","author":"M. D'Agostino","year":"1994","unstructured":"Marcello D'Agostino and Marco Mondadori. The taming of the cut. Classical refutations with analytic cut. Logic and Computation, 4(3):285\u2013319, 1994.","journal-title":"Logic and Computation"},{"key":"21_CR3","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0890-5401(89)90031-X","volume":"81","author":"E. A. Emerson","year":"1989","unstructured":"E. Allen Emerson and Robert S. Streett. An automata theoretic decision procedure for the propositional mu-calculus. Information and Computation, 81:249\u2013264, 1989.","journal-title":"Information and Computation"},{"key":"21_CR4","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1109\/LICS.1991.151664","volume":"6","author":"P. Godefroid","year":"1991","unstructured":"Patrice Godefroid and Pierre Wolper. A partial approach to model checking. In IEEE Symposium on Logic in Computer Science, volume 6, pages 406\u2013415, 1991.","journal-title":"IEEE Symposium on Logic in Computer Science"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Michaela Huhn, Action refinement and property inheritance in systems of sequential agents. In U. Montanari and V. Sassone, editors, International Conference on Concurrency Theory (CONCUR), volume 1119 of Lecture Notes in Computer Science, pages 639\u2013654. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61604-7_81"},{"key":"21_CR6","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Dexter Kozen. Results on the propositional \u03bc-calculus. Theoretical Computer Science, 27:333\u2013354, 1983.","journal-title":"Theoretical Computer Science"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Antoni Mazurkiewicz. Introduction to trace theory. In Volker Diekert and Grzegorz Rozenberg, editors, The Book of Traces, chapter 1, pages 1\u201342. World Scientific, 1995.","DOI":"10.1142\/9789814261456_0001"},{"key":"21_CR8","unstructured":"Robin Milner. Communications and Concurrency. Prentice-Hall, 1989."},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Manna and Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Peter Niebert. A \u03bd-calculus with local views for systems of sequential agents. In MFCS, volume 969 of Lecture Notes in Computer Science, 1995.","DOI":"10.1007\/3-540-60246-1_161"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Doron Peled. All from one, one for all: on model checking using representatives. In International Conference on Computer Aided Verification (CAV), Lecture Notes in Computer Science, 1993.","DOI":"10.1007\/3-540-56922-7_34"},{"key":"21_CR12","unstructured":"B. Sprick. Ein Beweissystem f\u00fcr die modale Tracelogik \u03bd-TrTl und seine Optimierung durch Halbordnungsreduktionen. Master's thesis, Universit\u00e4t Hildesheim, 1996."},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"P.S. Thiagarajan. A trace based extension of Linear Time Temporal Logic. In IEEE Symposium on Logic in Computer Science (LICS), volume 9, 1994.","DOI":"10.1109\/LICS.1994.316047"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Wolfgang Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 4, pages 133\u2013191. Elsevier Science Publishers B.V., 1990.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Moshe Y. Vardi. A temporal fixpoint calculus, In ACM Symposium on Principles of Programming Languages, pages 250\u2013259, 1988.","DOI":"10.1145\/73560.73582"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Igor Walukiewicz. A complete deductive system for the \u03bc-calculus. BRICS Report Series RS-95-6, Danish Center for Basic Research in Computer Science (BRICS), 1995.","DOI":"10.7146\/brics.v2i6.19508"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027421","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:46:35Z","timestamp":1586573195000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027421"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540629207","9783540690467"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0027421","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}