Didier Galmiche. Constructive System for Automatic Program Synthesis. Theoretical Computer Science, 71(2):227-239, 1990.
@article{Galmiche90,
title = {Constructive System for Automatic Program Synthesis},
author = {Didier Galmiche},
year = {1990},
researchr = {https://researchr.org/publication/Galmiche90},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {71},
number = {2},
pages = {227-239},
}