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:25 - 1 self