弗拉基米尔·沃沃德斯基 相对单体上模的C系。 （英语） Zbl 1507.18009号 J.纯应用。代数 227，第6号，文章ID 107283，61 p.（2023）. 审核人：Hirokazu Nishimura（筑波） MSC公司：18立方厘米 03B60号 18号45 PDF格式BibTeX公司 XML格式引用 \textit{V.Voevodsky}，J.Pure应用。代数227，第6号，文章ID 107283，61 p.（2023；Zbl 1507.18009） 全文： DOI程序 arXiv公司
安布罗斯·卡波西;科瓦奇，安德拉斯;安布罗斯·拉丰 对于有限归纳法，归纳法就足够了。 （英语） Zbl 07756111号 Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175，第6条，第30页（2020年）。MSC公司：03B38型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaposi}等人，LIPIcs——莱布尼茨国际程序。通知。175，第6条，第30页（2020；Zbl 07756111） 全文： DOI程序
阿伦斯，贝内迪克特;拉尔夫·马提斯 重新审视异质替代系统。 （英语） Zbl 1433.68220号 Uustalu，Tarmo（编辑），第21届国际校样和程序类型会议，2015年5月18日至21日，爱沙尼亚塔林。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。69，第2条，第23页（2018）。MSC公司：68问题65 18 C50 68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}和\textit{R.Matthes}，LIPIcs——莱布尼茨国际程序。通知。69，第2条，23 p.（2018；Zbl 1433.68220） 全文： DOI程序 arXiv公司