{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:07:44Z","timestamp":1725487664701},"publisher-location":"Berlin, Heidelberg","reference-count":8,"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_5","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:20:56Z","timestamp":1184588456000},"page":"29-31","source":"Crossref","is-referenced-by-count":2,"title":["KtSeqC : System Description"],"prefix":"10.1007","author":[{"given":"Vijay","family":"Boyapati","sequence":"first","affiliation":[]},{"given":"Rajeev","family":"Gor\u00e9","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,2,11]]},"reference":[{"key":"5_CR1","first-page":"71","volume":"1502","author":"N. Bonnette","year":"1998","unstructured":"N. Bonnette and R. Gor\u00e9. A labelled sequent system for tense logic Kt. In AI98, LNAI 1502:71\u201382. Springer, 1998.","journal-title":"AI98"},{"issue":"3","key":"5_CR2","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF00881804","volume":"15","author":"B. Beckert","year":"1995","unstructured":"B. Beckert and J. Posegga. leanTAP: Lean tableau-based deduction. Journal of Automated Reasoning, 15(3):339\u2013358, 1995.","journal-title":"Journal of Automated Reasoning"},{"key":"5_CR3","series-title":"Lect Notes Comput Sci","first-page":"25","volume-title":"Tableaux98","author":"A. Heuerding","year":"1998","unstructured":"A. Heuerding. A comparison of theorem provers for modal logics. In Tableaux98, LNCS 1397:25\u201326. Springer, 1998."},{"key":"5_CR4","first-page":"187","volume":"1397","author":"U. Hustadt","year":"1998","unstructured":"U. Hustadt and R. Schmidt. Simplification and backjumping in modal tableau. In Tableaux98 LNAI 1397:187\u2013201. Springer, 1998.","journal-title":"Tableaux98"},{"key":"5_CR5","first-page":"210","volume":"1071","author":"A. Heuerding","year":"1996","unstructured":"A. Heuerding, M. Seyfried, and H. Zimmermann. Efficient loop-check for backward proof search in some non-classical logics. In Tableaux96, LNAI 1071:210\u2013225, Springer, 1996.","journal-title":"Tableaux96"},{"key":"5_CR6","first-page":"723","volume":"814","author":"F. Massacci","year":"1994","unstructured":"F. Massacci. Strongly analytic tableaux for normal modal logics. In CADE-12, LNAI 814:723\u2013737, Springer, 1994.","journal-title":"CADE-12"},{"key":"5_CR7","first-page":"187","volume":"1397","author":"F. Massacci","year":"1998","unstructured":"F. Massacci. Simplification: a general constraint propagation technique for propositional and modal tableaux. In Tableaux98, LNAI 1397:187\u2013201. Springer, 1998.","journal-title":"Tableaux98"},{"key":"5_CR8","first-page":"160","volume":"1071","author":"J. Pitt","year":"1996","unstructured":"J. Pitt and J. Cunningham. Distributed modal theorem proving with KE. Tableaux96, LNAI 1071:160\u2013176, Springer, 1996.","journal-title":"Tableaux96"}],"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_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T19:21:39Z","timestamp":1550431299000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48754-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660866","9783540487548"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-48754-9_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}