@文章{DBLP:journals/fuin/Statman19,author={Rick Statman},title={交叉点类型的简单子类型},期刊={Fundam.Informace},体积={170},数字={1-3},页数={307--324},年份={2019},url={https://doi.org/10.3233/FI-2019-1864},doi={10.3233/FI-2019-1864},时间戳={2020年9月18日星期五11:16:46+0200},biburl={https://dblp.org/rec/journals/fuin/Statman19.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}