Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan
Generalized Unfold/fold Transformation Systems for Normal Logic Programs
ICLP, 1999.
@inproceedings{ICLP-1999-RoychoudhuryKR,
author = "Abhik Roychoudhury and K. Narayan Kumar and I. V. Ramakrishnan",
booktitle = "{Proceedings of the 15th International Conference on Logic Programming}",
isbn = "0-262-54104-1",
pages = "616",
publisher = "{MIT Press}",
title = "{Generalized Unfold/fold Transformation Systems for Normal Logic Programs}",
year = 1999,
}