TY  - RPRT
TI  - Program synthesis and future challenge.
AU  - M M Beck
PY  - 1998
DO  - 10.1093/ps/77.2.226
UR  - https://pubmed.ncbi.nlm.nih.gov/9495485/
ID  - 9495485
ER  -