Logic programming revisited: logic programs as inductive definitions (2001)

by Marc Denecker , Maurice Bruynooghe , Victor Marek
Venue:ACM Transactions on Computational Logic
Citations:35 - 21 self

Document Versions

Logic programming revisited: logic programs as inductive definitions –Marc Denecker, Maurice Bruynooghe, Victor Marek — 2001 — ACM Transactions on Computational Logic
Logic programming revisited: logic programs as inductive definitions –Marc Denecker, Maurice Bruynooghe, Victor Marek — 2001 — ACM Transactions on Computational Logic
Logic Programming Revisited: Logic Programs as Inductive Definitions –Marc Denecker, Maurice Bruynooghe, Victor Marek — 2001 — ACM Transactions on Computational Logic