On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs.

Chandrabose Aravindan Phan Minh Dung On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs. 201-217 1995 24 J. Log. Program. 3 db/journals/jlp/jlp24.html#AravindanD95