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

Document Versions

On The Correctness Of Unfold/fold Transformation Of Normal And Extended Logic Programs –Chandrabose Aravindan, Phan Minh Dung — 1995 — JOURNAL OF LOGIC PROGRAMMING