1. Applications of recursive arithmetic to the problem of circuit synthesis;Church,1957
2. Solving sequential conditions by finite-state strategies;Büchi,1990
3. The Church synthesis problem with parameters;Rabinovich;Log. Methods Comput. Sci.,2007
4. Logical refinements of Church's problem;Rabinovich,2007
5. Synthesis for temporal logic over the reals;French,2012