马可·波扎诺 罗伯托·布鲁托梅索 亚历山德罗·西马蒂 安德斯·弗兰泽 齐亚德·汉纳 苏拉布·卡西达什维利 阿米特·帕尔蒂 罗伯托·塞巴斯蒂亚尼 MathSAT的RTL结构编码：初步报告。 3-14 2005 conf/smt/2005 CAV的PDPAR https://doi.org/10.1016/j.entcs.2005.12.001 https://www.wikidata.org/entity/Q62041351 db/conf/smt/pdpar2005.html#BozzanoBCFHKPS06