{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T21:22:57Z","timestamp":1750454577070},"publisher-location":"Berlin, Heidelberg","reference-count":3,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603597"},{"type":"electronic","value":"9783540450481"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026840","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:29:45Z","timestamp":1132378185000},"page":"461-462","source":"Crossref","is-referenced-by-count":7,"title":["Approximating constraint logic programs using polymorphic types and regular descriptions"],"prefix":"10.1007","author":[{"given":"H\u00fcseyin","family":"Sa\u011flam","sequence":"first","affiliation":[]},{"given":"John P.","family":"Gallagher","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0167-6423(92)90038-D","volume":"19","author":"R. Barbuti","year":"1992","unstructured":"R. Barbuti and R. Giacobazzi. A bottom-up polymorphic type inference in logic programming. Science of Computer Programming, 19:281\u2013313, 1992.","journal-title":"Science of Computer Programming"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"M. Codish and B. Demoen. Deriving polymorphic type dependencies for logic programs using multiple incarnations of prop. In Proceedings of the First Symposium on Static Analysis, pages 281\u2013297, Springer-Verlag, September 1994.","DOI":"10.1007\/3-540-58485-4_47"},{"key":"32_CR3","unstructured":"J. Gallagher and D.A. de Waal. Fast and precise regular approximations of logic programs. In Proceedings of the Eleventh International Conference on Logic Programming, pages 599\u2013613, MIT Press, 1994."}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026840","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T20:43:41Z","timestamp":1549313021000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026840"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603597","9783540450481"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/bfb0026840","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}