An alternative transformation rule for logic programs.

Howard C. Wasserman, Keitaro Yukawa, Zhizhang Shen

Browse the full SAC paper archive.