尼古拉斯·贝尔迪塞努;卡尔森，Mats;蒂埃里·佩蒂特 从约束检查器派生过滤算法。 （英语） Zbl 1152.68539号 Wallace，Mark（编辑），约束编程的原理和实践–CP 2004。2004年9月27日至10月1日在加拿大多伦多举行的第十届国际会议，CP 2004。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-23241-4/pbk）。计算机科学课堂讲稿3258107-122（2004）。MSC公司：68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beldiceanu}等人，Lect。注释计算。科学。3258、107-122（2004年；Zbl 1152.68539） 全文： 内政部
卡尔森，Mats;尼古拉斯·贝尔迪塞努 从约束到有限自动机再到过滤算法。 （英语） 兹比尔1126.68338 David Schmidt（编辑），《编程语言和系统》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第13届欧洲编程研讨会（ESOP 2004），是欧洲软件理论与实践联合会议（ETAPS 2004）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21313-9/pbk）。计算机科学课堂讲稿2986，94-108（2004）。MSC公司：68甲19 65年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{M.Carlsson}和\textit{N.Beldiceanu}，莱克托。注释计算。科学。2986、94-108（2004年；Zbl 1126.68338） 全文： 内政部