{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:26:51Z","timestamp":1725456411896},"publisher-location":"Berlin\/Heidelberg","reference-count":5,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055727X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013084","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:02:07Z","timestamp":1132729327000},"page":"451-453","source":"Crossref","is-referenced-by-count":1,"title":["ISAR: An interactive system for algebraic implementation proofs"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Bauer","sequence":"first","affiliation":[]},{"given":"Rolf","family":"Hennicker","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"41_CR1","unstructured":"B. Bauer: Ein interaktives System f\u00fcr algebraische Implementierungsbeweise. Diplomarbeit, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau, 1992."},{"key":"41_CR2","volume-title":"EATCS Monographs on Theor. Comp. Science 6","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig, B. Mahr, Fundamentals of algebraic specification 1, EATCS Monographs on Theor. Comp. Science 6, Springer, Berlin, 1985."},{"key":"41_CR3","doi-asserted-by":"crossref","unstructured":"U. Fraus, H. Hu\u00dfmann: An inductive theorem prover based on narrowing. Proc. LPAR '92, Logic Programming and Automated Reasoning, Lecture Notes in Artificial Intelligence, Springer, 1992.","DOI":"10.1007\/BFb0013092"},{"key":"41_CR4","doi-asserted-by":"crossref","unstructured":"R. Hennicker: Context induction: a proof principle for behavioural abstractions and algebraic implementations. Formal Aspects of Computing, 3 (4), 1991.","DOI":"10.1007\/BF01642507"},{"key":"41_CR5","doi-asserted-by":"crossref","unstructured":"R. Hennicker: A semi-algorithm for algebraic implementation proofs. Technical Report MIP-9108, Univ. Passau, 1991. Ext. version to appear in: Theoretical Computer Science, 104, 1993.","DOI":"10.1016\/0304-3975(92)90166-D"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013084","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:30:02Z","timestamp":1586579402000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013084"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055727X"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/bfb0013084","relation":{},"subject":[]}}