TY  - CPAPER
AU  - Ohrimenko, O
AU  - Stuckey, PJ
Y2  - 2014/05/22
Y1  - 2008/12/01
SN  - 9781920682583
SN  - 1445-1336
UR  - http://hdl.handle.net/11343/31638
PB  - Australian Computer Society
KW  - Computer Software
T1  - Modelling for lazy clause generation
IS  - Conferences in Research and Practice in Information Technology Series
VL  - 77
IS  - 4
SP  - 27-37
L1  - /bitstream/handle/11343/31638/281198_103535.pdf?sequence=1&isAllowed=n
ER  -