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

Cached

Download Links

by Chandrabose Aravindan , Phan Minh Dung
Venue:JOURNAL OF LOGIC PROGRAMMING
Citations:26 - 1 self