Maja H.柯克比。;海宁·克里斯蒂安森 概率终止约简系统中的汇流和收敛模等价性。 （英语） Zbl 1452.68095号 国际J近似推理 105, 217-228 (2019).MSC公司：第68季度第42季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Kirkeby}和\textit{H.Christiansen}，国际期刊近似推理105，217--228（2019；Zbl 1452.68095） 全文： 内政部 链接
海宁·克里斯蒂安森;Maja H.柯克比。 关于约束处理规则的合流模等价性的证明。 （英语） Zbl 1355.68050号 正式Asp。计算。 29，第1期，57-95（2017）.MSC公司：68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{H.Christiansen}和\textit{M.H.Kirkeby}，正式Asp。计算。29，第1号，57--95（2017；Zbl 1355.68050） 全文： 内政部 arXiv公司
海宁·克里斯蒂安森;Maja H.柯克比。 约束处理规则中的汇流模等价。 （英语） Zbl 1353.68048号 Proietti，Maurizio（编辑）等，基于逻辑的程序合成和转换。2014年9月9日至11日在英国坎特伯雷举行的2014年LOPSTR第24届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-17821-9/pbk；978-3-316-17822-6/电子书）。计算机科学课堂讲稿8981，41-58（2015）。MSC公司：68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{H.Christiansen}和\textit{M.H.Kirkeby}，莱克特。注释计算。科学。8981，41-58（2015；Zbl 1353.68048） 全文： 内政部 链接