Michael Codish Peter Schneider-Kamp Vitaly Lagoon René Thiemann Jürgen Giesl SAT Solving for Argument Filterings. 30-44 2006 conf/lpar/2006 LPAR http://dx.doi.org/10.1007/11916277_3 db/conf/lpar/lpar2006.html#CodishSLTG06