EufDPLL公司 1份文件引用(2008) 软件作者： 特维雷蒂纳，奥尔加；威格·威瑟林克 相关软件： ATERM；Barcelogic工具 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）