{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:14Z","timestamp":1725456014858},"publisher-location":"Berlin\/Heidelberg","reference-count":7,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354053010X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024182","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T04:49:34Z","timestamp":1132375774000},"page":"151-158","source":"Crossref","is-referenced-by-count":1,"title":["Finding the least fixed point using wait-declarations in Prolog"],"prefix":"10.1007","author":[{"given":"Dan","family":"Sahlin","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Abramsky,S. and Hankin,C., Abstract Interpretation of Declarative Languages, Ellis Horwood Limited, 1987"},{"key":"11_CR2","series-title":"Research report","volume-title":"SICStus Prolog User's Manual","author":"M. Carlsson","year":"1988","unstructured":"Carlsson, M. and Wid\u00e9n, J., SICStus Prolog User's Manual, Research report R88007, SICS, Sweden, 1988."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Haridi, S., A Logic Programming Language Based on the Andorra Model, New Generation Computing, 7 (1990)","DOI":"10.1007\/BF03037202"},{"key":"11_CR4","unstructured":"O'Keefe, R., Finite Fixed-Point Problems, in Proceedings of the Fourth International Conference on Logic Programming in Melbourne 1987, The MIT Press"},{"key":"11_CR5","unstructured":"Sahlin, D., The Mixtus Approach to Automatic Partial Evaluation of Full Prolog, in proceedings of the 1990 North American Conference on Logic Programming, The MIT Press"},{"key":"11_CR6","unstructured":"Thom, J.A. and Zobel, J., NU-Prolog Reference Manual, version 1.1, Technical Report 86\/10, Machine Intelligence Project, Dept. of Computer Science, University of Melbourne"},{"key":"11_CR7","unstructured":"W\u00e6rn, A., An Implementation Technique for the Abstract Interpretation of Prolog, SICS Research Report R88004"}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024182.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:52:14Z","timestamp":1607532734000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024182"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354053010X"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0024182","relation":{},"subject":[]}}