朱格朗特 3份文件引用(2015–2018) 软件作者： 乔纳森·海宁（Jonathan Heinen）；克里斯蒂娜·詹森（Christina Jansen）；Joost-Pieter Katoen；诺尔，托马斯 相关软件： HIP；见证人；MONA… 主要字段： 计算机科学（68-XX）
德意志Schorr Waite 1份文件引用(2012) 软件作者： Viorel Preoteasa；拉尔夫·约翰回来 相关软件： 数据精炼IBP；存档正式证据；伊莎贝尔/HOL 主要字段： 计算机科学（68-XX）