斯蒂法诺·比斯塔雷利;弗朗西丝卡·罗西 基于半环的软约束。 (英语) Zbl 1143.68585号 Degano,Pierpaolo(编辑)等人,《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林:施普林格出版社(ISBN 978-3-540-68676-7/pbk)。计算机科学课堂讲稿5065155-173(2008)。MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bistarelli}和\textit{F.Rossi},莱克特。注释计算。科学。5065155--173(2008年;Zbl 1143.68585) 全文: 内政部
马丁·库珀;托马斯·希克斯 软约束的圆弧一致性。 (英语) Zbl 1085.68672号 Artif公司。智力。 154,第1-2期,199-227(2004).MSC公司:68T20型 90摄氏度70 PDF格式BibTeX公司 XML格式引用 \textit{M.Cooper}和\textit{T.Schiex},Artif。智力。154,编号1--2,199-227(2004;Zbl 1085.68672) 全文: 内政部 arXiv公司