{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:10Z","timestamp":1725664390728},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601616"},{"type":"electronic","value":"9783540495390"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60161-9_41","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:47:30Z","timestamp":1330278450000},"page":"232-246","source":"Crossref","is-referenced-by-count":1,"title":["Spanning tree representations of graphs and orders in conceptual structures"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Fall","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"1","key":"17_CR1","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/59287.59293","volume":"11","author":"H. A\u00eft-Kaci","year":"1989","unstructured":"H. A\u00eft-Kaci, R. Boyer, P. Lincoln and R. Nasr, Efficient Implementation of Lattice Operations. ACM Transactions on Programming Languages. 11(1): 115\u2013146. 1989.","journal-title":"ACM Transactions on Programming Languages"},{"issue":"3\/4","key":"17_CR2","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0743-1066(93)90043-G","volume":"16","author":"H. A\u00eft-Kaci","year":"1993","unstructured":"H. A\u00eft-Kaci and A. Podelski. Towards a Meaning of Life. Journal of Logic Programming. 16(3\/4): 195. 1993.","journal-title":"Journal of Logic Programming"},{"key":"17_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511530098","volume-title":"The Logic of Typed Feature Structures","author":"B. Carpenter","year":"1992","unstructured":"B. Carpenter. The Logic of Typed Feature Structures. Cambridge University Press, London, England. 1992."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"M. Chein and M. Mugnier. Specialization: Where do the Difficulties Occur? Proc. of 7th Annual Workshop. Las Cruces, NM. H. Pfeiffer and T. Nagle (Eds.), 1992.","DOI":"10.1007\/3-540-57454-9_18"},{"key":"17_CR5","volume-title":"Conceptual Structures: Current Research and Practice","author":"G. Ellis","year":"1992","unstructured":"G. Ellis. Compiled Hierarchical Retrieval. Conceptual Structures: Current Research and Practice. T. Nagle et al (Eds.). Ellis Horwood, New York, 1992."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"G. Ellis. Efficient Retrieval from Hierarchies of Objects using Lattice Operations. Proc. of First Int'l Conf. on Conceptual Structures. Quebec City, Canada, 1993.","DOI":"10.1007\/3-540-56979-0_15"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"A. Fall. Sparse Logical Terms. To appear in Applied Mathematics Letters, 1995.","DOI":"10.1016\/0893-9659(95)00059-Y"},{"key":"17_CR8","unstructured":"A. Fall. The Foundations of Taxonomic Encoding. Submitted to ACM Transactions on Programming Languages and Systems. Also available as Simon Fraser University Technical Report SFU CSS TR 94-20."},{"key":"17_CR9","volume-title":"Conceptual Structures: Current Research and Practice","author":"D. Gardiner","year":"1992","unstructured":"D. Gardiner, B. Tjan and J. Slagle. Extending Conceptual Structures: Representation Issues and Reasoning Operations. Conceptual Structures: Current Research and Practice. T. Nagle et al (Eds.). Ellis Horwood, New York, 1992."},{"key":"17_CR10","volume-title":"Normalizing Conceptual Graphs. Conceptual Structures: Current Research and Practice","author":"G. Mineau","year":"1992","unstructured":"G. Mineau. Normalizing Conceptual Graphs. Conceptual Structures: Current Research and Practice. T. Nagle et al (Eds.). Ellis Horwood, New York, 1992."},{"key":"17_CR11","unstructured":"M. Mugnier and M. Chein. Polynomial Algorithms for Projections and Matching. Proc. of 7th Workshop. Las Cruces, NM. H. Pfeiffer and T. Nagle (Eds.), 1992."},{"key":"17_CR12","unstructured":"L. Roberts, R. Levinson and R. Hughey. Issues in Parallel Hardware for Graph Retrieval. Proc. of First Int'l Conf. on Conceptual Structures, Theory and Applications. Quebec City, Canada, 1993."},{"key":"17_CR13","unstructured":"J. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, 1984."},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"G. Yang, Y. Choi, J. Oh. CGMA: A Novel Conceptual Graph Matching Algorithm. Proc. of 7th Workshop. Las Cruces, NM. H. Pfeiffer and T. Nagle (Eds), 1992.","DOI":"10.1007\/3-540-57454-9_20"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Applications, Implementation and Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60161-9_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:36Z","timestamp":1605646536000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60161-9_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601616","9783540495390"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-60161-9_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}