An unfold/fold transformation framework for definite logic programs - Roychoudhury, A. (2013)
10.1145/982158.982160