Aleksandar Zeljic Christoph M. Wintersteiger Philipp Rümmer Approximations for Model Construction. 344-359 2014 IJCAR https://doi.org/10.1007/978-3-319-08587-6_26 conf/cade/2014 db/conf/cade/ijcar2014.html#ZeljicWR14