利瓦塔 1份文件引用(2019) 软件作者： Ondrej Lengal；吉里·西马切克；托马斯·沃伊纳；马丁·赫鲁斯卡；卢卡斯·霍利克 相关软件： 餐前小吃；反链；LTL2BA… 主要字段： 计算机科学（68-XX）
丽莎 1份文件引用(1998) 软件作者： 阿卜杜勒瓦赫卜·阿亚里；David Basin；安德烈亚斯·波德尔斯基 相关软件： 莫塞尔；STeP；MONA公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）