{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:37Z","timestamp":1725663697255},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544449"},{"type":"electronic","value":"9783540383628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54444-5_118","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:50:45Z","timestamp":1330210245000},"page":"421-422","source":"Crossref","is-referenced-by-count":0,"title":["A narrowing-based theorem prover"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Fraus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heinrich","family":"Hu\u00dfmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"36_CR1","doi-asserted-by":"crossref","unstructured":"U. Fraus, H. Hu\u00dfmann: A Narrowing-Based Theorem Prover. Proceedings of the IMA Conference on \"The Unified Comutation Laboratory\", July 1990, University of Stirling (Scotland), Oxford University Press, to appear 1991.","DOI":"10.1007\/3-540-53904-2_116"},{"key":"36_CR2","volume-title":"The specification and application to programming of abstract data types","author":"J. V. Guttag","year":"1975","unstructured":"J. V. Guttag: The specification and application to programming of abstract data types. Ph. D. thesis, University of Toronto, Toronto, 1975."},{"key":"36_CR3","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/3-540-52885-7_86","volume":"249","author":"U. S. Reddy","year":"1990","unstructured":"U. S. Reddy: Term Rewriting Induction. CADE 10, Lecture Notes in Computer Science 249, 1990, 162\u2013177.","journal-title":"Lecture Notes in Computer Science"},{"key":"36_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00264293","volume":"20","author":"M. Wirsing","year":"1983","unstructured":"M. Wirsing, P. Pepper, H. Partsch, W. Dosch, M. Broy: On hierarchies of abstract data types. Acta Informatica 20, 1983, 1\u201333.","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54444-5_118.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:36Z","timestamp":1605646476000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_118"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_118","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}