@会议记录{fraikin_et_al:DagSemProc.07071.11，author={Fraikin，Catherine和Van Dooren，Paul}，title={{与节点和边上的类型约束匹配的图形}}，booktitle={Web信息检索和线性代数算法}，页数={1--16}，series={Dagstuhl研讨会论文集（DagSemProc）}，ISSN={1862-4405}，年份={2007}，体积={7071}，editor={安德烈亚斯·弗洛默（Andreas Frommer）、迈克尔·马奥尼（Michael W.Mahoney）和丹尼尔·斯泽尔德（Daniel B.Szyld）}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07071.11},URN={URN:nbn:de:0030-drops-10716}，doi={10.4230/DagSemProc.07071.11}，annote={关键词：图形匹配，优化，类型化节点，类型化边}}
