{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:20Z","timestamp":1761611300217},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615118"},{"type":"electronic","value":"9783540686873"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61511-3_92","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:50:37Z","timestamp":1330293037000},"page":"288-292","source":"Crossref","is-referenced-by-count":18,"title":["INKA: The next generation"],"prefix":"10.1007","author":[{"given":"Dieter","family":"Hutter","sequence":"first","affiliation":[]},{"given":"Claus","family":"Sengler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"D. Hutter, B. Langenstein, C. Sengler, J. Siekmann, W. Stephan, and A. Wolpers. Deduction in the Verification Support Environment (VSE). Proceedings of the Formal Methods Europe 96, Oxford, Great Britain, 1996.","DOI":"10.1007\/3-540-60973-3_92"},{"key":"29_CR2","volume-title":"Lecture Notes in Computer Science (LNCS) 230","author":"S. Biundo","year":"1986","unstructured":"S. Biundo, B. Hummel, D. Hutter, and C. Walther. The Karlsruhe Induction Theorem Proving System. In J. H. Siekmann, editor, Proceedings 8\n                  th\n                 International Conference on Automated Deduction (CADE), Lecture Notes in Computer Science (LNCS) 230, Oxford, England, 1986. Springer-Verlag, Berlin, Germany."},{"key":"29_CR3","volume-title":"A Computational Logic","author":"R. S. Boyer","year":"1979","unstructured":"R. S. Boyer and J. S. Moore. A Computational Logic. Academic Press, London, England, 1979."},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"A. Bundy, A. Stevens, F. v. Harmelen, A. Ireland, and A. Smaill. Rippling: a heuristic for guiding inductive proofs. Journal of Artificial Intelligence, North Holland Publishing Company, pp. 185\u2013253, No. 62, 1993.","DOI":"10.1016\/0004-3702(93)90079-Q"},{"key":"29_CR5","unstructured":"J. Giesl. Automatisierung von Terminierungsbeweisen f\u00fcr rekursiv definierte Algorithmen. infix, 1995."},{"key":"29_CR6","volume-title":"Lecture Notes in Artificial Intelligence (LNAI) 449","author":"D. Hutter","year":"1990","unstructured":"D. Hutter. Guiding Induction Proofs In M. Stickel, editor, Proceedings 10\n\n                  th\n                \nInternational Conference on Automated Deduction (CADE), Lecture Notes in Artificial Intelligence (LNAI) 449, Kaiserslautern, Germany, 1990, Springer-Verlag, Berlin, Germany."},{"key":"29_CR7","unstructured":"D. Hutter. Adapting a Resolution Calculus for Inductive Proofs. In B. Neumann, editor, 10th European Conference on Artificial Intelligence, pages 65\u201369. Wiley and sons, 1992."},{"key":"29_CR8","unstructured":"D. Hutter. Colouring Terms to Control Equational Reasoning Journal of Automated Reasoning, Kluwer, forthcoming."},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"C. Sengler. Termination of Algorithms over Non-Freely Generated Data Types. Proceedings 13th International Conference on Automated Deduction (CADE), 1996.","DOI":"10.1007\/3-540-61511-3_73"},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"C. Walther. On proving the termination of algorithms by machine. Artificial Intelligence, 71, 1994.","DOI":"10.1016\/0004-3702(94)90063-9"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 Cade-13"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61511-3_92.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:33:43Z","timestamp":1619573623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61511-3_92"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615118","9783540686873"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-61511-3_92","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}