西基、广岛 关于协逻辑编程和Horn\（{\mu}\）-演算中的对偶程序。 （英语） Zbl 1362.68058号 正式Asp。计算。 29，第3期，401-421（2017）.MSC公司：68号30 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{H.Seki}，正式Asp。计算。29，第3号，401-421（2017；Zbl 1362.68058） 全文： 内政部
西基、广岛 关于协同逻辑编程中的对偶程序。 （英语） Zbl 1362.68057号 Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-27435-5/pbk；978-3-3169-27436-2/电子书）。计算机科学讲座笔记9527，21-35（2015）。MSC公司：68号30 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{H.Seki}，莱克特。票据计算。科学。9527，21-35（2015；Zbl 1362.68057） 全文： 内政部