Dimitar P.Guelev。;水坝，马德斯 有限控制过程的认知谓词。 （英语） Zbl 1347.68225号 van Ditmarsch，Hans（ed.）等人，《第七届模态方法研讨会论文集》（M4M’2011）和第四届多智能体系统逻辑方面研讨会论文集（LAMAS’2011），西班牙奥苏纳，2011年11月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记278229-243（2011）。MSC公司：60年第68季度 03B42号 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev}和\textit{M.Dam}，电子。注释Theor。计算。科学。278229--243（2011；Zbl 1347.68225） 全文： 内政部
达姆，麦兹 微积分逻辑的证明系统。 （英语） Zbl 1038.03034号 de Queiroz，Ruy J.G.B.（编辑），《并发和同步逻辑》。多德雷赫特：Kluwer学术出版社（ISBN 1-4020-1270-5/hbk）。趋势日志。螺柱日志。伦敦银行同业拆借利率。18, 145-212 (2003).MSC公司：03B70号 68问题85 03英尺20英寸 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Dam}，趋势日志。螺柱日志。伦敦银行同业拆借利率。18、145--212（2003；Zbl 1038.03034）
达姆，麦兹 关于（pi）-演算过程等价的可判定性。 （英语） Zbl 0901.68033号 西奥。计算。科学。 183，第2期，215-228（1997）.MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \文本{M.Dam}，Theor。计算。科学。183，编号2，215--228（1997；Zbl 0901.68033） 全文： 内政部