金·万豪酒店;尼古拉斯·奈瑟科特;雷扎·拉斐;彼得·斯图基（Peter J.Stuckey）。;玛丽亚·加西亚·德拉班达;马克·华莱士 锌建模语言的设计。 （英语） Zbl 1146.68352号 约束条件 13，第3号，229-267（2008）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit｛K.Marriott｝等人，《限制条件13》，第3229-267号（2008年；Zbl 1146.68352） 全文： DOI程序
玛丽亚·加西亚·德拉班达;戴维·杰弗里;金·万豪酒店;尼古拉斯·奈瑟科特;彼得·斯图基（Peter J.Stuckey）。;克里斯蒂安·霍尔兹鲍尔 使用HAL构建约束解算器。 （英语） Zbl 1053.68529号 Codognet，Philippe（编辑），《逻辑编程》。第17届国际会议，ICLP 2001，塞浦路斯帕福斯，2001年11月26日至12月1日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42935-2）。莱克特。注释计算。科学。2237, 90-104 (2001).MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.García de la Banda}等人，莱克特。注释计算。科学。2237、90-104（2001年；Zbl 1053.68529） 全文： 链接