TY  - GEN
N2  - cse-94-020
DO  - 10.6083/m326m2036
DO  - DOI
AB  - cse-94-020
T1  - Automating synthesis by completion
DA  - 1994
AU  - Bellegarde, Francoise
L1  - https://digitalcollections.ohsu.edu/record/4014/files/csetech-331.pdf
PY  - 1994
ID  - 4014
L4  - https://digitalcollections.ohsu.edu/record/4014/files/csetech-331.pdf
TI  - Automating synthesis by completion
Y1  - 1994
L2  - https://digitalcollections.ohsu.edu/record/4014/files/csetech-331.pdf
LK  - https://digitalcollections.ohsu.edu/record/4014/files/csetech-331.pdf
UR  - https://digitalcollections.ohsu.edu/record/4014/files/csetech-331.pdf
ER  -