Transformational Logic Program Synthesis

Taisuke Sato, Hisao Tamaki. Transformational Logic Program Synthesis. In FGCS. pages 195-201, 1984.

Abstract

Abstract is missing.