{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:06:06Z","timestamp":1749125166603},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422549"},{"type":"electronic","value":"9783540457442"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45744-5_30","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T21:02:07Z","timestamp":1193432527000},"page":"381-385","source":"Crossref","is-referenced-by-count":16,"title":["DCTP - A Disconnection Calculus Theorem Prover - System Abstract"],"prefix":"10.1007","author":[{"given":"Reinhold","family":"Letz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gernot","family":"Stenz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,8]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"P. Baumgartner, N. Eisinger, and U. Furbach. A confluent connection calculus. In Proceedings, CADE-16, Trento, LNAI 1632, pp. 329\u2013343. Springer, 1999.","DOI":"10.1007\/3-540-48660-7_30"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"P. Baumgartner, U. Furbach, and I. Niemel\u00e4. Hyper tableaux. In Proceedings, JELIA-96, LNAI 1126, pp. 1\u201317, Springer, 1996.","DOI":"10.1007\/3-540-61630-6_1"},{"key":"30_CR3","series-title":"LNAI","first-page":"110","volume-title":"Proceedings of the 5th TABLEAUX","author":"J.-P. Billon","year":"1996","unstructured":"Jean-Paul Billon. The disconnection method: a confluent integration of unification in the analytic framework. In Proceedings of the 5th TABLEAUX, Terrasini, LNAI 1071, pp. 110\u2013126, Springer, 1996."},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"S.-J. Lee and D. Plaisted. Eliminating duplication with the hyper-linking strategy. Journal of Automated Reasoning, pp. 25\u201342, 1992.","DOI":"10.1007\/BF00247825"},{"issue":"3","key":"30_CR5","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF00881947","volume":"13","author":"R. Letz","year":"1994","unstructured":"Reinhold Letz, Klaus Mayr, and C. Goller. Controlled integration of the cut rule into connection tableau calculi. Journal of Automated Reasoning, 13(3):297\u2013338, December 1994.","journal-title":"Journal of Automated Reasoning"},{"issue":"2","key":"30_CR6","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BF00244282","volume":"8","author":"R. Letz","year":"1992","unstructured":"Reinhold Letz, Johann Schumann, Stephan Bayerl, and Wolfgang Bibel. SETHEO: A high-performance theorem prover. Journal of Automated Reasoning, 8(2):183\u2013212, 1992.","journal-title":"Journal of Automated Reasoning"},{"key":"30_CR7","series-title":"LNAI","volume-title":"Proc. of the 1st IJCAR","author":"S. Schulz","year":"2001","unstructured":"Stephan Schulz. System Abstract: E 0.61. In Proc. of the 1st IJCAR, Siena, LNAI. Springer, 2001."}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45744-5_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T01:51:01Z","timestamp":1556934661000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45744-5_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422549","9783540457442"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-45744-5_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]}}}