@inproceedings{DBLP:conf/aaai/DumancicGC21,
  title = "Knowledge Refactoring for Inductive Program Synthesis",
  author = "Sebastijan Dumancic and Tias Guns and Andrew Cropper",
  year = "2021",
  booktitle = "Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021",
  pages = "7271--7278",
  publisher = "{AAAI} Press",
  url = "https://ojs.aaai.org/index.php/AAAI/article/view/16893",
}