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

Kung-Kiu Lau, Steven David Prestwich. Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. In ICLP. pages 667-684, 1990.

Abstract

Abstract is missing.