马可·波扎诺 罗伯托·布鲁托梅索 亚历山德罗·西马蒂 汤米·A·琼蒂拉 西尔维奥·兰伊斯 彼得·范·罗苏姆 罗伯托·塞巴斯蒂亚尼 基于延迟理论组合的有效可满足模理论。 335至349 2005 conf/cav/2005 CAV汽车 https://doi.org/10.1007/11513988_34 https://www.wikidata.org/entity/Q62041373 db/conf/cav/cav2005.html#BozzanoBCJRRS05