{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,28]],"date-time":"2026-07-28T01:30:28Z","timestamp":1785202228578,"version":"3.55.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":7,"publisher":"Springer-Verlag","isbn-type":[{"value":"3540558446","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-55844-6_141","type":"book-chapter","created":{"date-parts":[[2006,7,13]],"date-time":"2006-07-13T09:22:29Z","timestamp":1152782549000},"page":"260-268","source":"Crossref","is-referenced-by-count":37,"title":["Metastructures vs. attributed variables in the context of extensible unification"],"prefix":"10.1007","author":[{"given":"Christian","family":"Holzbaur","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Data Structures and Algorithms","author":"A.V. Aho","year":"1983","unstructured":"Aho A.V., Hopcroft J.E., Ullman J.D.: Data Structures and Algorithms, Addison-Wesley, Reading, MA, 1983."},{"key":"18_CR2","volume-title":"Logic Programming \u2014 Proceedings of the 4th International Conference \u2014 Volume 1","author":"M. Carlsson","year":"1987","unstructured":"Carlsson M.: Freeze, Indexing, and Other Implementation Issues in the WAM, in Lassez J.L.(ed.), Logic Programming \u2014 Proceedings of the 4th International Conference \u2014 Volume 1, MIT Press, Cambridge, MA, 1987."},{"key":"18_CR3","unstructured":"Carlsson M., Widen J.: Sicstus Prolog Users Manual, Swedish Institute of Computer Science, SICS\/R-88\/88007C, 1990."},{"key":"18_CR4","unstructured":"Holzbaur C.: Specification of Constraint Based Inference Mechanisms through Extended Unification, Dept. of Medical Cybernetics & Artificial Intelligence, University of Vienna, Dissertation, 1990."},{"key":"18_CR5","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/BFb0024181","volume-title":"Programming Language Implementation and Logic Programming","author":"S. Huitouze","year":"1990","unstructured":"Huitouze S.le: A new data structure for implementing extensions to Prolog, in Deransart P. and Maluszunski J.(eds.), Programming Language Implementation and Logic Programming, Springer, Heidelberg, 136\u2013150, 1990."},{"key":"18_CR6","volume-title":"Logic Programming \u2014 Proceedings of the 4th International Conference \u2014 Volume 1","author":"J. Jaffar","year":"1987","unstructured":"Jaffar J., Michaylov S.: Methodology and Implementation of a CLP System, in Lassez J.L.(ed.), Logic Programming \u2014 Proceedings of the 4th International Conference \u2014 Volume 1, MIT Press, Cambridge, MA, 1987."},{"key":"18_CR7","unstructured":"Neumerkel U.: Extensible Unification by Metastructures, Proc. META90, 1990."}],"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\/3-540-55844-6_141.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:36:26Z","timestamp":1619573786000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55844-6_141"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540558446"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-55844-6_141","relation":{},"subject":[]}}