Logic program synthesis from first-order logic specificationsTadashi Kawamura · 1994

[Lecture Notes in Computer Science] Program Development in Computational Logic Volume 3049 || Synthesis of Programs in Computational LogicBruynooghe, Maurice; Lau, Kung-Kiu · 2004

[Lecture Notes in Computer Science] Logic Program Synthesis and Transformation — Meta-Programming in Logic Volume 883 || Introspective metatheoretic reasoningFribourg, Laurent; Turini, Franco · 1994

Lectures on the Logic of Computer Programming || 5. Synthesis of ProgramsManna, Zohar · 1980

[Lecture Notes in Computer Science] Logic Based Program Synthesis and Transformation Volume 3573 || Searching Semantically Equivalent Code Fragments in Logic ProgramsEtalle, Sandro · 2005

[Lecture Notes in Computer Science] Logic Based Program Synthesis and Transformation Volume 3573 || Run-Time Profiling of Functional Logic ProgramsEtalle, Sandro · 2005

Synthesis design logic and the SYNGEN (synthesis generation) programHendrickson, J. B.; Toczko, A. G. · Pure and Applied Chemistry · 1988