{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T04:12:55Z”，“时间戳”：1648959175579}，“出版商位置”：“柏林，海德堡”，“参考计数”：21，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540619949”，“类型”：“打印”}，{“值”：“9783540495888”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1996]]}，”DOI“：”10.1007\/bfb0037422“，”type“：”book-capter“，”created“：”{“date-part”：[2006,1,25]]，“date-time”：“2006-01-25T15:15:55Z”，“”时间戳“：113820215500}，”页面“：”393-400“，”源“：“Crossref”，“is-referenced-by-count”：0，“title”：[“关于视觉语言的规范：多集作为一级公民”]，“prefix”：“10.1007”，”author“：[{”given“：”Massimo“，”family“：”Marchiori“，”sequence“：”first“，”affiliation“：[]}]，”member“：”297“，”published-online“：{”date-parts“：[[2005,6,26]]}，”reference“：[}”key“：答：。Ames、D.Nadeau和J.L.Moreland。VRML资源手册。Wiley&Sons，1996.“}，{”key“：”30_CR2“，”unstructured“：”A.G.Cohn和J.M.Gooday.在空间逻辑中定义可视化编程语言的语法和语义。在AAAI'94时空推理研讨会，1994年。“}”，{“key”：“30_CR3”，“doi-asserted-by”：“crossref”，“unstructure”：“L.Colussi，E.Marchiori，and M.Marchiori。约束逻辑程序终止时。《约束编程原理与实践国际会议》，LNCS第976卷，第431\u2013448页。Springer，1995.“，”DOI“：”10.1007\/3-540-60299-2_26“}，{“key”：“30_CR4”，“first page”：”333“，”volume“：”2“，”author“：”C.Crimi“，”year“：”1991“，”unstructured“：”C.Crimi，A.Guercio，G.Nota，G.Pacini，G.Tortora，and M.Tucci。关系语法及其在多维语言中的应用。JVLC，2:333\u20133461991.“，”，“日志标题”：“JVLC”}，{“key“：”30_CR5“，”doi-asserted-by“：”crossref“，”first-page“：”371“，”doi“：”10.1016\/S1045-926X（05）80005-9“，“volume”：“2”，“author”：“E.J.Golin”，“year”：“1991”，“unstructured”：“E.J.Gollin”。用图片布局语法分析视觉语言。《视觉语言与计算杂志》，2:371\u20133931991.“，”Journal-title“：”Journal of Visual Languages and Computing“}，{“key”：“30_CR6”，“doi-asserted-by”：“crossref”，“first-page”：“141”，”doi“：”10.1016\/S1045-926X（05）80013-8“，”volume“：”1“，”author“：”E.J.Golin“，“year”：“1990”，“unstructured”：“E.J.Golin and S.P.”。莱斯。可视化语言语法的规范。《视觉语言与计算杂志》，1:141\u20131571990.“，“Journal-title”：《视觉语言和计算杂志》}，{“key”：“30_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“V.Haarslev.使用空间推理的视觉语言的形式语义。在IEEE视觉语言研讨会上，第156\u2013163页。IEEE出版社，1995.“，”DOI“：”10.1109\/VL.1995.520804“}，{”key“：”30_CR8“，”DOI-asserted-by“：”crossref“，”first page“：“311”，“DOI”：“10.1016\/S1045-926X（05）80002-3”，“volume”：“2”，“author”：“R.Helm”，“year”：“1991”，“unstructured”：“R.Helm and K。万豪酒店。视觉语言的声明性规范和语义。《可视化语言与计算杂志》，2:311\u20133311991。“，”Journal-title“：”Journal of Visual Languages and Computing“}，{“key”：“30_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“S.H\u00f6lldobler.Equational Logic Programming Foundations，vol.353 of LNCS.1989.”，“doi”：“10.1007\/BFb0015791”}，“issue”：“20”，“key“：”“30_CR10”，“doi-asserted-by“：”crossref“，”first page“：”503“，”doi“：”10.1016\/0743-1066（94）90033-7“，“volume”：“19”，“author”：“J.Jaffar”，“year”：“1994”，“unstructured”：“J Jaffar和M.J Maher。约束逻辑编程：一项调查。《逻辑编程杂志》，19,20:503\u20135811994。“，“Journal-title”：“逻辑编程杂志”}，{“key”：“30_CR11”，“doi-asserted-by”：“crossref”，“first-page”：“1155”，“doi”：“10.1137\/0215084”，“volume”：”15“author”：“J.-P.Jouannaud”，“year”：“1986”，“unstructured”：“J-P.Jouannoud and H.”。基什内尔。完成一组以方程组为模的规则。SIAM计算机杂志，15:1155\u201311941986.“，“Journal-title”：“SIAM计算机期刊”}，{“key”：“30_CR12”，“first-page”：“1”，“volume-title“：“Handbook of Logic in Computer Science，vol.2”，“author”：“J.W.Klop”，“year”：“1992”，“unstructured”：“JW。克鲁普。术语重写系统。《计算机科学逻辑手册》，第2卷，第1章，第1\u2013116页。克拉伦登出版社，牛津，1992年。“}，{“key”：“30_CR13”，“doi-asserted-by”：“crossref”，“unstructured”：“M.Marchiori.逻辑编程的函数方面。ACM国际函数编程语言与计算机体系结构会议，第55\u201365页。ACM出版社，1995年。“，“DOI”：“10.1145\/224164.224181”}，{“key”：“30_CR14”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.Marchiori.重新审视完整性的模块性。J.Hsiang，编辑，《重写技术与应用国际会议》，LNCS第914卷，第2\u201310页。Springer，1995.“，”DOI“：”10.1007\/3-540-59200-8_43“}，{“key”：“30_CR15”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.Marchiori.Proving Existential Termination of Normal Logic Programs.Int.Conf.on Algebraic Methodology and Software Technology，vol.1101 of LNCS，pp.375\u2013390，1996.”，“DOI”：“10.1007\/BFb0014328”}，“{”key“：”30_CR16“，”doi-asserted-by“：”crossref“，”unstructured“：”K.Marriott“。约束多集文法。IEEE视觉语言研讨会，第118\u2013125页。IEEE出版社，1994年。“，”DOI“：”10.1109\/VL.1994.363633“}，{“key”：“30_CR17”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.A.Najork和S.M.Kaplan。用条件集重写系统指定视觉语言。IEEE视觉语言研讨会。IEEE出版社。1993年。”，“DOI”：“10.1109\/VL.1993.269567”}，“issue”：“2”，“key“：”30_CR18“，”“DOI-sserted-by“：”crossref”，“首页”：“333”，“DOI”：“10.1016/0304-3975（94）00039-L”，“卷”：“136”，“作者”：“E.Ohlebusch”，“年份”：“1994”，“非结构化”：“E.Ohlebusch。关于术语重写系统终止的模块性。理论比较。《科学》，136（2）：333\u20133601994年。Science“}，{”issue“：“2”，”key“：“30_CR19”，”doi-asserted-by“：”crossref“，”first page“：”233“，”doi“：”10.1145\/32248.322251“，”volume“:”28“，”author“：”G.E.Peterson“，”year“：”1981“，”unstructured“：”E.Peterson和M.E.Stickel。一些等式理论的完整简化集。ACM杂志，28（2）：233\u20132641981。“，”，“Journal title“：”ACM杂志“}，{”issue“：”2“，”key“：”30_CR20“，”doi-asserted-by“：”crossref“，”first page“：“209”，“doi”：“10.1016\/0304-3975（94）00276-2”，“volume”：“142”，“author”：“A.Rubio”，“year”：“1995”，“unstructured”：“A.Rubio和R.Nieuwenhuis.基于RPO的AC-compatible总排序。理论Comp.Science，142（2）：209\u20132271995.“，”新闻标题“：”理论比较。Science“}，{”issue“：“2”，”key“：“30_CR21”，”doi-asserted-by“：”crossref“，”first page“：”361“，”doi“：”10.1016\/0304-3975（95）00080-G“，“volume”：“149”，“author”：“M.Schmidt-Schau00df”，”year“：”1995“，”unstructured“：”M.Schmit-Schau100df、M.Marchiori和S.E。帕尼茨。r一致和左线性项重写系统的模终止。理论比较。《科学》，149（2）：361\u20133741995。Science“}”，“container-title”：[“SOFSEM'96:信息学理论与实践”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/BFb0037422”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2019,4,16]]，”date-time“：”2019-04-16T14:33:55Z“，”timestamp“：1555425235000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/link.springer.com\/10.1007\/BFb0037422“}}，“subtitle”：[]，“shorttitle”：[]，“issued”:{“date-part”：[1996]}，，“ISBN”：[“9783540619949”，“9783599”540495888“]，”references-count“：21，”URL“：”http:\/\/dx.doi.org\/10.1007\/bfb0037422“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“”，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”主题“：[]，”published“：{”date-parts“：[1996]]}}}}