@inproceedings{Huntbach86:0,
  title = {Program Synthesis by Inductive Inference},
  author = {Matthew M. Huntbach},
  year = {1986},
  researchr = {https://researchr.org/publication/Huntbach86%3A0},
  cites = {0},
  citedby = {0},
  pages = {335-344},
  booktitle = {ECAI},
}