{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:58Z","timestamp":1725663298255},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540187714"},{"type":"electronic","value":"9783540481782"}],"license":[{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18771-5_69","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:48:35Z","timestamp":1330181315000},"page":"440-457","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["An efficient algorithm for the solution of hierarchical networks of constraints"],"prefix":"10.1007","author":[{"given":"Ugo","family":"Montanari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"11","key":"30_CR1","doi-asserted-by":"crossref","first-page":"1257","DOI":"10.1109\/TSE.1985.231877","volume":"SE-11","author":"R. Balzer","year":"1985","unstructured":"Balzer R., \"A 15 year perspective on automatic programming\", IEEE Transaction on Software Engineering SE-11(11), Nov.1985, pp.1257\u20131268.","journal-title":"IEEE Transaction on Software Engineering"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Balzer R., Goldman N., Wile D., \"Operational specification as the basis for rapid prototyping\", in Proc. of the Second Software Engineering Symposium: Workshop on Rapid Prototyping, ACM SIGSOFT, April 1982.","DOI":"10.1145\/1006259.1006261"},{"key":"30_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(84)90036-5","volume":"24","author":"D. G. Bobrow","year":"1984","unstructured":"Bobrow D. G., \"Qualitative reasoning about physical system: an introduction\", Artificial Intelligence 24, 1984, pp. 1\u20135.","journal-title":"Artificial Intelligence"},{"key":"30_CR4","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0004-3702(84)90040-7","volume":"24","author":"J. Kleer De","year":"1984","unstructured":"De Kleer J., \"How circuits work\", Artificial Intelligence 24, 1984, pp. 205\u2013280.","journal-title":"Artificial Intelligence"},{"key":"30_CR5","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","volume":"24","author":"J. Kleer De","year":"1984","unstructured":"De Kleer J., Brown J. S., \"A qualitative reasoing based on confluences\", Artificial Intelligence 24, 1984, pp. 7\u201383.","journal-title":"Artificial Intelligence"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Ehrig H., \"Introduction to the algebraic theory of graph grammars (a survey)\", Proc. Int. Workshop on Graph Grammars, LNCS 73, Springer Verlag, Claus, Ehrig, Rozenberg ed., Bad Honnef, Nov. 1978, pp.1\u201369.","DOI":"10.1007\/BFb0025714"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Habel A., Kreowski H. J., \"On context-free graph languages generated by edge replacement\", Proc. Int. Workshop on Graph Grammars, LNCS 153, Springer Verlag, Ehrig, Nagl, Rozenberg ed., Haus Ohrbeck, Oct. 1982, pp.143\u2013158.","DOI":"10.1007\/BFb0000104"},{"key":"30_CR8","unstructured":"Habel A., Kreowski H. J., \"Some structural aspects of hypergraph languages generated by hyperedge replacement\", Internal Report, Univ. Bremen, Oct. 1985."},{"key":"30_CR9","unstructured":"Lucas, \"On the versatility of knowledge rapresentation\", in: E. Neuhold, ed., Proc. IFIP Working Conference \"The role of abstract models in information processing\", Wien, Jan. 1985, North Holland."},{"issue":"1","key":"30_CR10","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. K. Mackworth","year":"1977","unstructured":"Mackworth A. K., \"Consistency in networks of relations\", Artificial Intelligence 8, 1, 1977, pp. 99\u2013118.","journal-title":"Artificial Intelligence"},{"key":"30_CR11","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","volume":"25","author":"A. K. Mackworth","year":"1985","unstructured":"Mackworth A. K., Freuder E. C., \"The complexity of some polynomial network consistency algorithms for constraints satisfaction problems\", Artificial Intelligence 25, 1985, pp. 65\u201374.","journal-title":"Artificial Intelligence"},{"key":"30_CR12","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"Montanari U., \"Networks of constraints: fundamental properties and application to picture processing\", Information Sciences 7, 1974, pp. 95\u2013132.","journal-title":"Information Sciences"},{"key":"30_CR13","volume-title":"Specifica mediante reti di vincoli gerarchiche","author":"F. Rossi","year":"1986","unstructured":"Rossi F., \"Specifica mediante reti di vincoli gerarchiche\", Master Thesis, Computer Science Dept., Univ. of Pisa, Italy, June 1986."},{"key":"30_CR14","unstructured":"Seidel R., \"A new method for solving constraint satisfaction problems\", Proc. IJCAI 1981, pp.338\u2013342."},{"key":"30_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(80)90032-6","volume":"14","author":"G. J. Sussman","year":"1980","unstructured":"Sussman G. J., Steele G. L. Jr., \"CONSTRAINTS \u2014 A language for expressing almost-hierarchical descriptions\", Artificial Intelligence 14, 1980, pp.1\u201339.","journal-title":"Artificial Intelligence"},{"key":"30_CR16","first-page":"19","volume-title":"The psychology of computer vision","author":"D. L. Waltz","year":"1975","unstructured":"Waltz D. L., \"Understanding line drawings of scenes with shadows\", in: Winston P. H., ed., The psychology of computer vision, Mc Graw-Hill, New York 1975, pp.19\u201391."},{"key":"30_CR17","volume-title":"Applied computation theory","author":"D. L. Waltz","year":"1975","unstructured":"Waltz D. L., \"Automata theoretic approach to visual processing\", in Yeh R. T. ed., Applied computation theory, Englewood Cliffs, N.J., Prentice-Hall, 1975."}],"container-title":["Lecture Notes in Computer Science","Graph-Grammars and Their Application to Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18771-5_69","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:22:49Z","timestamp":1558254169000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18771-5_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540187714","9783540481782"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-18771-5_69","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]},"assertion":[{"value":"1 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}