@article{Schmid03,
  title = {Inductive Synthesis of Functional Programs},
  author = {Ute Schmid},
  year = {2003},
  url = {http://www.kuenstliche-intelligenz.de/Artikel/InductiveSynthesisofFunctionalPrograms.htm},
  tags = {functional programming},
  researchr = {https://researchr.org/publication/Schmid03},
  cites = {0},
  citedby = {0},
  journal = {KI},
  volume = {17},
  number = {3},
  pages = {75},
}