德拉本特，Włodzimierz S-语义–示例。 （英语） Zbl 1521.68029号 De Angelis，Emanuele（编辑）等，基于逻辑的程序合成和转换。第31届国际研讨会，LOPSTR 2021，爱沙尼亚塔林，2021年9月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13290, 60-74 (2022).MSC公司：68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Drabent}，莱克特。注释计算。科学。13290，60-74（2022；Zbl 1521.68029） 全文： 内政部 arXiv公司
德拉本特，Włodzimierz 魔术变换的简单正确性证明。 （英语） Zbl 1255.68050号 理论与实践。日志。程序。 12，第6号，929-936（2012）.MSC公司：68N17号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Drabent}，理论与实践。日志。程序。12，第6号，929--936（2012；Zbl 1255.68050） 全文： 内政部 arXiv公司