Ahmed Mahdi Martin Fränzle Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems. 203-215 2014 RP https://doi.org/10.1007/978-3-319-11439-2_16 conf/rp/2014 db/conf/rp/rp2014.html#MahdiF14