Olga Ohrimenko Peter J. Stuckey Modelling for Lazy Clause Generation. 27-37 2008 CATS http://crpit.com/abstracts/CRPITV77Ohrimenko.html conf/cats/2008 db/conf/cats/cats2008.html#OhrimenkoS08