蛋糕ML 60篇文献引用(2014–2023) 软件作者： 拉马纳库马尔；玛格努斯·奥·米林（Magnus O.Myreen）。；迈克尔·诺里什（Michael Norrish）；斯科特·欧文斯 相关软件： Isabelle/HOL；Coq；HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
结块_lpr 6篇文献引用(2021–2023) 软件作者： Tan，Yong Kiam；Heule，Marijn J.H。；玛格努斯·奥·米林。 相关软件： DRAT-饰件；CaDiCaL；Paracooba… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
卡拉斯 1份文件引用(2023) 软件作者： 波乔拉，约翰内斯·奥曼；戈梅斯·隆多尼奥，亚历杭德罗；詹姆斯·沙克（James Shaker）；诺里斯，迈克尔 相关软件： 皮罗埃特；类动物；Coq公司 主要字段： 计算机科学（68-XX）