德拉本特，Włodzimierz Prolog调试器和声明式编程。 （英语） 兹比尔1502.68062 Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12042, 193-208 (2020).MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{W.Drabent}，莱克特。注释计算。科学。12042、193--208（2020；Zbl 1502.68062） 全文： 内政部 arXiv公司
德拉本特，Włodzimierz 逻辑+控制：关于程序构建和验证。 （英语） Zbl 1425.68051号 理论与实践。日志。程序。 2018年1月18日至29日.MSC公司：68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Drabent}，理论与实践。日志。程序。18，编号1，1--29（2018；Zbl 1425.68051） 全文： 内政部 arXiv公司