塔德乌兹·利塔克;德克·帕丁森;胜彦三野 协代数谓词逻辑：等价结果和证明理论。 （英语） Zbl 1383.03030号 Bezhanishvili，Guram（编辑）等人，《逻辑、语言和计算》。第九届第比利斯逻辑、语言和计算国际研讨会，2011年TbiLLC，格鲁吉亚库塔伊西，2011年9月26日至30日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-36975-9/pbk）。计算机科学课堂讲稿7758，257-276（2013）。MSC公司：03B45号 05年3月 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{T.Litak}等人，Lect。注释计算。科学。7758257-276（2013年；兹bl 1383.03030） 全文： 内政部
弗雷德里克·达尔奎斯特;德克·帕丁森 余代数逻辑的一些Sahlqvist完备性结果。 （英语） Zbl 1260.03039号 Pfenning，Frank（编辑），《软件科学和计算结构基础》。2013年3月16日至24日在意大利罗马举行的第16届国际会议FOSSACS 2013，是欧洲软件理论与实践联合会议ETAPS 2013的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37074-8/pbk）。计算机科学课堂讲稿7794193-208（2013）。MSC公司：03B45号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{F.Dahlqvist}和\textit{D.Pattinson}，莱克特。注释计算。科学。7794193--208（2013年；兹bl 1260.03039） 全文： 内政部