On transformation of logic specifications into procedural programs.

Janet M. Lin, Jie-Yong Juang, Stephen S. Yau

Browse the full ICTAI paper archive.