Beyond tamaki-sato style unfold/fold transformations for normal logic programs

by Roychoudhury, A., Narayan Kumar, K., Ramakrishnan, C.R., Ramakrishnan, I.V.
Published 2014