息肉 引用于33份文件(1999–2012) 软件作者： 詹森，P。；J·杰林。 相关软件： 哈斯克尔；Stratego；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
PolyLib公司 7份文件引用(2004–2009) 软件作者： Jansson，P.，Jeuring，J。 相关软件： 哈斯克尔；息肉；快速检查… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）