Olga Ohrimenko, Peter J. Stuckey. Modelling for Lazy Clause Generation. In James Harland, Prabhu Manyem, editors, Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings. Volume 77 of CRPIT, pages 27-37, Australian Computer Society, 2008. [doi]
@inproceedings{OhrimenkoS08, title = {Modelling for Lazy Clause Generation}, author = {Olga Ohrimenko and Peter J. Stuckey}, year = {2008}, url = {http://crpit.com/abstracts/CRPITV77Ohrimenko.html}, tags = {laziness, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/OhrimenkoS08}, cites = {0}, citedby = {0}, pages = {27-37}, booktitle = {Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings}, editor = {James Harland and Prabhu Manyem}, volume = {77}, series = {CRPIT}, publisher = {Australian Computer Society}, isbn = {978-1-920682-58-3}, }