@article{14:116,author={John Ahlgren and Shiu Yin Yuen}, Title={Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming},journal={Journal of Machine Learning Research},volume={14}, url={http://jmlr.org/papers/volume14/ahlgren13a/ahlgren13a.pdf}}