{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:33Z","timestamp":1725663693862},"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_119","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:50:34Z","timestamp":1330210234000},"page":"423-424","source":"Crossref","is-referenced-by-count":0,"title":["The ALF system"],"prefix":"10.1007","author":[{"given":"Michael","family":"Hanus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"37_CR1","doi-asserted-by":"crossref","unstructured":"M. Hanus: Compiling Logic Programs with Equality. Proc. of the 2nd International Workshop on Programming Language Implementation and Logic Programming, Link\u00f6ping, 1990. Springer LNCS 456, pages 387\u2013401","DOI":"10.1007\/BFb0024197"},{"key":"37_CR2","doi-asserted-by":"crossref","unstructured":"M. Hanus: Efficient Implementation of Narrowing and Rewriting. To appear in Proc. Int. Workshop on Processing Declarative Knowledge, Kaiserslautern, 1991 Springer Symbolic Computation Series.","DOI":"10.1007\/BFb0013543"},{"key":"37_CR3","unstructured":"M. Hanus, A. Schwab: ALF User's Manual. Fachbereich Informatik, Universit\u00e4t Dortmund, 1991"},{"key":"37_CR4","unstructured":"M. Hanus, A. Schwab: The Implementation of the Functional-Logic Language ALF. Fachbereich Informatik, Universit\u00e4t Dortmund, 1991"}],"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_119.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:22:00Z","timestamp":1619572920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_119"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_119","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}