TY - RPRT TI - AutoBayes Program Synthesis System System Internals AU - Schumann, Johann Martin PY - 2011 UR - https://ntrs.nasa.gov/citations/20140008310 ID - 20140008310 ER -