马可·波扎诺 罗伯托·布鲁托梅索 亚历山德罗·西马蒂 汤米·A·琼蒂拉 彼得·范·罗苏姆 斯蒂芬·舒尔茨0001 罗伯托·塞巴斯蒂安尼 线性算术逻辑可满足性的增量分层过程。 317-333 https://doi.org/10.1007/978-3-540-31980-1_21 https://www.wikidata.org/entity/Q62041370 2005 conf/tacas/2005 TACAS公司 db/conf/tacas/tacas2005.html#BozzanoBCJRSS05