On The Correctness Of Unfold/fold Transformation Of Normal And Extended Logic Programs (1995)

by Chandrabose Aravindan, Phan Minh Dung
Venue:JOURNAL OF LOGIC PROGRAMMING