@misc{indiciaecaa74df5a24a,
  title = {AutoBayes Program Synthesis System Users Manual},
  author = {Schumann, Johann and Jafari, Hamed and Pressburger, Tom and Denney, Ewen and Buntine, Wray and Fischer, Bernd},
  year = {2008},
  url = {https://ntrs.nasa.gov/citations/20080042409},
  note = {Source identifier: 20080042409}
}