An unfold/fold transformation framework for definite logic programs

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan. An unfold/fold transformation framework for definite logic programs. ACM Transactions on Programming Languages and Systems, 26(3):464-509, 2004. [doi]

Authors

Abhik Roychoudhury

This author has not been identified. Look up 'Abhik Roychoudhury' in Google

K. Narayan Kumar

This author has not been identified. Look up 'K. Narayan Kumar' in Google

C. R. Ramakrishnan

This author has not been identified. Look up 'C. R. Ramakrishnan' in Google

I. V. Ramakrishnan

This author has not been identified. Look up 'I. V. Ramakrishnan' in Google