作　　者：Ivan Gazeau ;Dale Miller ;Catuscia Palamidessi

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;85:63-76.doi:10.4204/EPTCS.85.5

出 版 社：Open Publishing Association

文 章 ID：83120503

作　　者：David Baelde ;Kaustuv Chaudhuri ;Andrew Gacek 等

出　　处：Journal of Formalized Reasoning. 2014 ;7(2):1-89.doi:10.6092/issn.1972-5787/4650

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：100489225

作　　者：Dale Miller

出　　处：AgExporter. 1995 ;April 1995.

出 版 社：Superintendent of Documents

文 章 ID：42777264

作　　者：Ulysse G{\'e}rard ;Dale Miller

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:23:1-23:17.doi:10.4230/LIPIcs.CSL.2017.23

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：200735089

作　　者：Dale Miller

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:0:i-0:xiv.doi:10.4230/LIPIcs.FSCD.2017.0

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：200735109

作　　者：Kaustuv Chaudhuri ;Stefan Hetzl ;Dale Miller

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:183-197.doi:10.4230/LIPIcs.CSL.2012.183

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846159

作　　者：Tomer Libal ;Dale Miller

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:26:1-26:17.doi:10.4230/LIPIcs.FSCD.2016.26

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186847458

作　　者：Dale Miller

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;97:1-16.doi:10.4230/LIPIcs.TYPES.2016.1

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：230213685