Jacques Chazarain, Serge Muller. Automated Synthesis of Recursive Programs from a forall-exists Logical Specification. Journal of Automated Reasoning, 21(2):233-275, 1998.
@article{ChazarainM98,
title = {Automated Synthesis of Recursive Programs from a forall-exists Logical Specification},
author = {Jacques Chazarain and Serge Muller},
year = {1998},
researchr = {https://researchr.org/publication/ChazarainM98},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {21},
number = {2},
pages = {233-275},
}