马克·芬塔默 克里斯托夫·贝尔 关系概率条件的实例化限制。 598-605 2012 SUM（总和） https://doi.org/10.1007/978-3-642-33362-0_48 conf/sum/2012年 db/conf/sum/sum2012.html#FinthammerB12