@inproceedings{DBLP:conf/ilp/FarquharGCMB15,
  title = "Typed meta-interpretive learning for proof strategies",
  author = "Colin Farquhar and Gudmund Grov and Andrew Cropper and Stephen Muggleton and Alan Bundy",
  year = "2015",
  booktitle = "Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, Kyoto University, Kyoto, Japan, August 20th to 22nd, 2015.",
  editor = "Katsumi Inoue and Hayato Ohwada and Akihiro Yamamoto",
  pages = "17--32",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  url = "http://ceur-ws.org/Vol-1636/paper-02.pdf",
  volume = "1636",
}