Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs.

Shamim A. Naqvi Lawrence J. Henschen Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. 25-28 1983 IJCAI db/conf/ijcai/ijcai83.html#NaqviH83