坎通纳，多梅尼科;尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。;阿尔贝托，Policriti 从我们的意识中消除超滤。 （英语） Zbl 1439.03034号 Omodeo、Eugenio G.（编辑）等，马丁·戴维斯，关于可计算性、计算逻辑和数学基础。查姆：斯普林格。Outst公司。控制日志。10, 255-283 (2016).MSC公司：03立方厘米35 03H10年上半年 05时03分 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人，Outst。控制日志。10255-283（2016；Zbl 1439.03034） 全文： DOI程序
坎通纳，多梅尼科;吉安卢卡·辛科蒂;乔瓦尼·加洛 实际分析片段的决策算法。一： 具有严格凸性和凹性谓词的连续函数。 （英语） 邮编1125.03009 J.塞姆。计算。 41，第7期，763-789（2006）.MSC公司：03B25号 03立方厘米35 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人，J.Symb。计算。41，第7号，763--789（2006；Zbl 1125.03009） 全文： DOI程序