Conference Proceedings

Modelling for lazy clause generation

O Ohrimenko, PJ Stuckey

CATS | Published : 2008