Unfold/fold transformations for automated verification of parameterized concurrent systems

by Roychoudhury, A., Ramakrishnan, C.R.
Published 2013

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

An unfold/fold transformation framework for definite logic programs

by Roychoudhury, A., Kumar, K.N., Ramakrishnan, C.R., Ramakrishnan, I.V.
Published 2013