马克·米歇尔·科西尼;安托万·劳西 图皮：有限域上的（mu）-演算作为约束语言。 （英语） Zbl 0941.03532号 J.汽车。推理 19，第2期，143-171（1997）. 引用于1文件 MSC公司： 03B70号 计算机科学中的逻辑 68N17号 逻辑编程 60年第68季度 规范和验证（程序逻辑、模型检查等） 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） PDF格式BibTeX公司 XML格式引用 \textit{M.-M.Corsini}和\textit{A.Rauzy}，J.Autom。推理19，No.2，143--171（1997；Zbl 0941.03532） 全文： 内政部