%0 Conference Proceedings
%A Ohrimenko, Olga
%A Stuckey, Peter
%D 2008
%T Modelling for Lazy Clause Generation
%E Harland, James
%E Manyem, Prabhu
%B Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)
%C Wollongong, NSW, Australia
%I ACS
%V 77
%P 27-37
%S CRPIT
%! Modelling for Lazy Clause Generation
%F CRPITV77-27-37
%Z abstract
%U http://crpit.com/confpapers/CRPITV77Ohrimenko.pdf