@inproceedings{DBLP:conf/ijcai/Cropper16,
  title = "Logic-Based Inductive Synthesis of Efficient Programs",
  author = "Andrew Cropper",
  year = "2016",
  booktitle = "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July 2016",
  editor = "Subbarao Kambhampati",
  pages = "3980--3981",
  publisher = "{IJCAI/AAAI} Press",
  url = "http://www.ijcai.org/Abstract/16/564",
}