{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:07:41Z","timestamp":1725487661120},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660866"},{"type":"electronic","value":"9783540487548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48754-9_21","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:20:56Z","timestamp":1184602856000},"page":"232-246","source":"Crossref","is-referenced-by-count":1,"title":["A Tableau Calculus for a Temporal Logic with Temporal Connectives"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"May","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,2,11]]},"reference":[{"issue":"2","key":"21_CR1","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0304-3975(94)90190-2","volume":"133","author":"A. J. Bonner","year":"1994","unstructured":"A. J. Bonner and M. Kifer. An Overview of Transaction Logic. Theoretical Computer Science, 133(2):205\u2013265, 1994.","journal-title":"Theoretical Computer Science"},{"key":"21_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/3-540-69778-0_17","volume-title":"Tableaux\u201998","author":"H. Bowman","year":"1998","unstructured":"H. Bowman and S. Thompson. A Tableau Method for Interval Temporal Logic with Projection. In Tableaux\u201998, LNCS 1397, pp. 108\u2013123, Springer, 1998."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"J. Chomicki and D. Toman. Temporal Logic in Information Systems. In Logics for Databases and Information Systems, Ch. 3, pp. 31\u201370. Kluwer, 1998.","DOI":"10.1007\/978-1-4615-5643-5_3"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"M. Fitting. First Order Logic and Automated Theorem Proving. Springer,1990.","DOI":"10.1007\/978-1-4684-0357-2"},{"key":"21_CR5","unstructured":"S. Jablonski. Functional and Behavioural Aspects of Process Modelling in Workflow Management Systems. Proc. CON\u2019 94: Workflow Management,1994."},{"key":"21_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/BFb0027419","volume-title":"Tableaux\u201997","author":"W. May","year":"1997","unstructured":"W. May. Proving Correctness of Labeled Transition Systems by Semantic Tableaux. In Tableaux\u201997, LNCS 1227, pp. 261\u2013275. Springer, 1997."},{"key":"21_CR7","unstructured":"W. May. Integrated Static and Dynamic Modeling of Processes. PhD thesis, Institut f\u00fcr Informatik, Universit\u00e4t Freiburg, Logos Verlag, 1998."},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, 1986.","DOI":"10.1007\/3-540-15670-4_6"},{"key":"21_CR9","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Safety. Springer, 1995."},{"key":"21_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/3-540-61313-7_89","volume-title":"Intl. Conf. on Formal and Applied Practical Reasoning, FAPR\u201996","author":"W. May","year":"1996","unstructured":"W. May and P. H. Schmitt. A Tableau Calculus for First-Order Branching Time Logic. In Intl. Conf. on Formal and Applied Practical Reasoning, FAPR\u201996, LNCS 1085, pp. 399\u2013413. Springer, 1996."},{"key":"21_CR11","series-title":"Lect Notes Comput Sci","first-page":"97","volume-title":"Logics in AI: Europ. Workshop Jelia 90","author":"V. R. Pratt","year":"1990","unstructured":"V. R. Pratt. Action Logic and Pure Induction. In Logics in AI: Europ. Workshop Jelia 90, LNCS 478, pp. 97\u2013120, 1990."},{"key":"21_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/BFb0035385","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"P. H. Schmitt","year":"1997","unstructured":"P. H. Schmitt and J. Goubault-Larrecq. A Tableau System for Linear-Time Temporal Logic. In Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1217, Springer, pp. 130\u2013144, 1997."},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"M. P. Singh. Semantical Considerations on Workflows: An Algebra for Intertask Dependencies. In Intl. Workshop on Database Programming Languages, Electronic Workshops in Computing, Gubbio, Italy, 1995. Springer.","DOI":"10.14236\/ewic\/DBPL1995.23"},{"key":"21_CR14","series-title":"Lect Notes Comput Sci","first-page":"307","volume-title":"Proc. Int. Conf. on Extending Database Technology","author":"D. Toman","year":"1996","unstructured":"D. Toman and D. Niwinski. First-Order Queries over Temporal Databases Inexpressible in Temporal Logic. In Proc. Int. Conf. on Extending Database Technology, LNCS 1057, pp. 307\u2013324. Springer, 1996."},{"key":"21_CR15","first-page":"110","volume":"28","author":"P. Wolper","year":"1985","unstructured":"P. Wolper. The Tableau Method for Temporal Logic. Logique et Analyse, 28:110\u2013111, 1985.","journal-title":"Logique et Analyse"}],"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\/3-540-48754-9_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T01:46:12Z","timestamp":1587779172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48754-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660866","9783540487548"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48754-9_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}