安全Dpi 13份文件引用(2004–2011) 软件作者： 轩尼诗，马修；朱利安·拉特克（Julian Rathke）；吉田、Nobuko 相关软件： 乔卡姆；MJ；Jif… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）