## 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 |

Citations: | 25 - 1 self |

### BibTeX

@ARTICLE{Aravindan95onthe,

author = {Chandrabose Aravindan and Phan Minh Dung},

title = {On The Correctness Of Unfold/fold Transformation Of Normal And Extended Logic Programs},

journal = {JOURNAL OF LOGIC PROGRAMMING},

year = {1995},

volume = {24},

pages = {295--322}

}