Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications.

Kung-Kiu Lau, Steven D. Prestwich

Browse the full ICLP paper archive.