弗兰蒂舍克·法尔卡；叶卡捷琳娜·科门丹茨卡亚；凯文·哈蒙德 共同草书类型类解析的共同可靠性。 （英语） Zbl 1485.68041号 Hermenegildo，Manuel V.（编辑）等人，基于逻辑的程序合成和转换。2016年9月6日至8日在英国爱丁堡举行的2016年LOPSTR第26届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。10184, 311-327 (2017).MSC公司：68甲18 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Farka}等人，Lect。票据计算。科学。10184、311--327（2017；Zbl 1485.68041） 全文： 内政部 arXiv公司
傅鹏；叶卡捷琳娜·科门丹茨卡亚；汤姆·施里杰弗斯；安德鲁·庞德 证明相关的同胚分辨率。 （英语） Zbl 1475.68054号 Kiselyov，Oleg（编辑）等人，《功能和逻辑编程》。2016年3月4日至6日，第13届国际研讨会，FLOPS 2016，日本高知。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9613, 126-143 (2016).MSC公司：68N17号 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Fu}等人，Lect。票据计算。科学。9613、126--143（2016；Zbl 1475.68054） 全文： 内政部 arXiv公司 链接