TY  - RPRT
TI  - The AutoBayes Program Synthesis System: System Description
AU  - Fischer, Bernd
AU  - Pressburger, Thomas
AU  - Rosu, Grigore
AU  - Schumann, Johann
AU  - Norvog, Peter
PY  - 2001
UR  - https://ntrs.nasa.gov/citations/20010097738
ID  - 20010097738
ER  -