@inproceedings{ijcai16:metafunc,
  title = "Learning Higher-Order Logic Programs through Abstraction and Invention",
  author = "Andrew Cropper and Stephen H. Muggleton",
  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 = "1418--1424",
  publisher = "{IJCAI/AAAI} Press",
  url = "http://www.ijcai.org/Abstract/16/204",
}