{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:41Z","timestamp":1725663941189},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584353"},{"type":"electronic","value":"9783540487968"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58435-8_239","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:10:26Z","timestamp":1330272626000},"page":"734-743","source":"Crossref","is-referenced-by-count":1,"title":["Dependency-directed binding of variables for constraint logic programming"],"prefix":"10.1007","author":[{"given":"G.","family":"Papakonstantinou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Voliotis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N. M.","family":"Sgouros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"issue":"no.7","key":"75_CR1","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/79204.79209","volume":"33","author":"J. Cohen","year":"1990","unstructured":"Jacques Cohen, Constraint Logic Programming Languages, Communications of the ACM,vol. 33,no. 7,pp.52\u201368,July 1990.","journal-title":"Communications of the ACM"},{"key":"75_CR2","unstructured":"Pascal van Hentenryck, Constraint Satisfaction in Logic Programming, MIT Press, 1989."},{"key":"75_CR3","unstructured":"P. Deransart et al. Attribute Grammars, Goos G., Hartmanis J, (eds.), Springer-Verlag, 1988."},{"issue":"no.2","key":"75_CR4","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D.E. Knuth","year":"1968","unstructured":"D.E. Knuth, Semantics of context free languages,Mathematical Systems Theory, vol.2, no.2, pp.127\u2013145, 1968 and vol.5, no.1, pp95\u201396, 1971.","journal-title":"Mathematical Systems Theory"},{"key":"75_CR5","first-page":"382","volume":"9\/86","author":"G. Papakonstantinou","year":"1986","unstructured":"G. Papakonstantinou, C. Moraitis, T. Panayiotopoulos, An Attribute Grammar Interpreter as a Knowledge Engineering Tool, Angewandte Informatik, 9\/86, pp.382\u2013388, 1986.","journal-title":"Angewandte Informatik"},{"issue":"no.1","key":"75_CR6","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1093\/comjnl\/32.1.91","volume":"32","author":"M. Sideri","year":"1989","unstructured":"M. Sideri, S. Efremidis, G. Papakonstantinou, Semantically Driven Parsing of Conext-free Languages,The Computer Journal, vol.32, no.1, pp.91\u201393, 1989.","journal-title":"The Computer Journal"},{"issue":"no.9","key":"75_CR7","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1016\/0950-5849(88)90134-6","volume":"30","author":"T. Panayiotopoulos","year":"1988","unstructured":"T. Panayiotopoulos, G. Papakonstantinou, G. Stamatopoulos, An Attribute Grammar Based Theorem Prover, Information and Software Technology, vol.30, no.9, pp.553\u2013560, November 1988.","journal-title":"Information and Software Technology"},{"issue":"no.5","key":"75_CR8","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0950-5849(90)90004-B","volume":"32","author":"T. Panayiotopoulos","year":"1988","unstructured":"T. Panayiotopoulos, G. Papakonstantinou, N.M. Sgouros, An Attribute Grammar Interpreter for Inexact Reasoning, Information and Software Technology, vol.32, no.5, pp.347\u2013356, June 1988.","journal-title":"Information and Software Technology"},{"issue":"no.4","key":"75_CR9","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1109\/PGEC.1964.263814","volume":"EG-13","author":"R. Floyd","year":"1964","unstructured":"R. Floyd, The syntax of programming languages-a survey, IEEE Transactions on Electronic Computers, vol.EG-13, no.4, pp.346\u2013353, 1964.","journal-title":"IEEE Transactions on Electronic Computers"},{"key":"75_CR10","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0167-6423(85)90005-X","volume":"5","author":"F. Jalili","year":"1985","unstructured":"F. Jalili, A general incremental evaluator for attribute grammars, Science of Computer Programming, vol.5, pp.83\u201396, 1985.","journal-title":"Science of Computer Programming"},{"key":"75_CR11","unstructured":"K. Forbus, J. de Kleer, Building Problem Solvers,MIT Press, 1993."},{"key":"75_CR12","unstructured":"D. Weld, J. de Kleer (eds), Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufmann, 1990."}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58435-8_239.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:16:08Z","timestamp":1619572568000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58435-8_239"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584353","9783540487968"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-58435-8_239","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}