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

Shamim A. Naqvi, Lawrence J. Henschen

Browse the full IJCAI paper archive.