@article{JMLR:v14:ahlgren13a,
  author  = {John Ahlgren and Shiu Yin Yuen},
  title   = {Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming},
  journal = {Journal of Machine Learning Research},
  year    = {2013},
  volume  = {14},
  number  = {115},
  pages   = {3649--3681},
  url     = {http://jmlr.org/papers/v14/ahlgren13a.html}
}