{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:17:24Z","timestamp":1725484644924},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425540"},{"type":"electronic","value":"9783540448020"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44802-0_17","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T04:15:38Z","timestamp":1180671338000},"page":"232-246","source":"Crossref","is-referenced-by-count":2,"title":["Constrained Hyper Tableaux"],"prefix":"10.1007","author":[{"given":"Jan","family":"van Eijck","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,30]]},"reference":[{"key":"17_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/3-540-69778-0_14","volume-title":"Proceedings International Conference on Automated Reasoning with Analytic Tableaux and Related Methods","author":"P. Baumgartner","year":"1998","unstructured":"Baumgartner, P. Hyper tableaux \u2014the next generation. In Proceedings International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (1998), H. d. Swart, Ed., no. 1397 in Lecture Notes in Computer Science, Springer, pp. 60\u201376."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Bpaumgartner, P., Fr\u00f6hlich, P., AND Niemel\u00e4, I. Hyper tableaux. In Proceedings JELIA 96 (1996), Lecture Notes in Artificial Intelligence, Springer.","DOI":"10.1007\/3-540-61630-6_1"},{"key":"17_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2360-3","volume-title":"First-order Logic and Automated Theorem Proving; Second Edition","author":"M. Fitting","year":"1996","unstructured":"Fitting, M.First-order Logic and Automated Theorem Proving; Second Edition. Springer Verlag, Berlin, 1996."},{"key":"17_CR4","unstructured":"Giese, M. Proof search without backtracking using instance streams, position paper. In Proc. Int. Workshop on First-Order Theorem Proving, St. Andrews, Scotland (2000). Available online at http:\/\/i12www.ira.uka.de\/key\/doc\/2000\/giese00.ps.gz ."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Giese, M. Incremental closure of free variable tableaux. In IJCAR 2001 Proceedings (2001).","DOI":"10.1007\/3-540-45744-5_46"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R. Tableaux and related methods. In Handbook of Automated Reasoning, A. Robinson and A. Voronkov, Eds. Elsevier Science Publishers, to appear, 2001.","DOI":"10.1016\/B978-044450813-3\/50005-9"},{"key":"17_CR7","unstructured":"Jones, S. P., Hughes, J., et al. Report on the programming language Haskell 98. Available from the Haskell homepage: http:\/\/www.haskell.org , 1999."},{"key":"17_CR8","unstructured":"K\u00fchn, M. Rigid hypertableaux. In KI-97: Advances in Artificial Intelligence (1997), G. Brewka, C. Habel, and B. Nebel, Eds., pp. 87\u201398."},{"key":"17_CR9","first-page":"227","volume":"1","author":"J. Robinson","year":"1965","unstructured":"Robinson, J. Automated deduction with hyper-resolution. International Journal of Computer Mathematics 1 (1965), 227\u2013234.","journal-title":"International Journal of Computer Mathematics"},{"key":"17_CR10","unstructured":"Van Eijck, J. Model generation from constrained free variable tableaux. In IJCAR 2001-Short Papers (Siena, 2001), R. Gor\u00e9, A. Leitsch, and T. Nipkov, Eds., pp. 160\u2013169."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44802-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:21:11Z","timestamp":1556464871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44802-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425540","9783540448020"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-44802-0_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}