@进行中{DBLP:conf/fossacs/HuotSV20，title=“通过衍射和分类粘合进行自动区分的正确性”，author=“Mathieu Huot和Sam Staton以及Matthijs V｛\'｛a｝｝k｛\'｛a｝r”，年=“2020”，booktitle=“软件科学和计算结构基础——2020年第23届国际会议，{FOSSACS}，作为欧洲软件理论与实践联合会议的一部分，{ETAPS}2020，爱尔兰都柏林，2020年4月25日至30日，会议记录”，editor=“Jean Goubault{-}拉雷克和Barbara K{\“{o}}nig”，pages=“319--338”，publisher=“Springer”，series=“计算机科学课堂讲稿”，url=“https://doi.org/10.1007/978-3-030-45231-5\_17",volume=“12077”，doi=“10.1007/978-3-030-45231-5\_17”，}