温迪·麦考尔;迪米特·瓦卡雷洛夫 基于格的次一致逻辑。 （英语） Zbl 1185.03049号 MacCaull，Wendy（编辑）等人，《计算机科学中的关系方法》。2005年2月22日至26日，加拿大安大略省圣凯瑟琳市，第八届计算机科学关系方法国际研讨会，第三届克莱恩代数应用国际研讨会，以及成本行动274:TARSKI研讨会。选定的修订论文。柏林：施普林格出版社（ISBN 3-540-33339-8/pbk）。《计算机科学讲义》3929173-187（2006）。MSC公司：03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{W.MacCaull}和\textit{D.Vakarelov}，莱克特。注释计算。科学。3929173--187（2006年；Zbl 1185.03049） 全文： 内政部
迪米特·瓦卡雷洛夫 海伦娜·拉西奥瓦作品中的非经典否定及其对否定理论的影响。 （英语） Zbl 1114.03027号 螺柱日志。 84，第1期，105-127（2006）.MSC公司：03B60号 03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Vakarelov}，研究日志。84，第1号，第105-127条（2006年；Zbl 1114.03027） 全文： 内政部
菲利普·巴尔比亚尼;迪米特·瓦卡雷洛夫 带交集的无迭代PDL：一个完整的公理化。 （英语） Zbl 0976.03037号 芬达姆。通知。 45，第3期，173-194（2001）.MSC公司：03B70号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{D.Vakarelov}，Fundam。通知。45，第3号，173--194（2001；Zbl 0976.03037）
瓦伦丁·戈兰科;迪米特·瓦卡雷洛夫 超布尔代数和超布尔模态逻辑。 （英语） Zbl 1003.03017号 J.应用。非类别。日志。 9，编号2-3，345-368（1999）.MSC公司：03B45号 05年3月 06E25年 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}和\textit{D.Vakarelov}，J.Appl。非类别。日志。9，编号2--3，345--368（1999；Zbl 1003.03017） 全文： 内政部 链接
菲利普·巴尔比亚尼;路易斯·法利尼亚斯·德尔·塞罗;廷切夫、廷科;迪米特·瓦卡雷洛夫 关联几何的模态逻辑。 （英语） Zbl 0868.03009号 J.日志。计算。 7，第1号，59-78（1997）. 审核人：E.Quaisser（波茨坦） MSC公司：03B45号 51A05号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}等人，J.Log。计算。7，第1号，59-78（1997年；Zbl 0868.03009） 全文： 内政部