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

by Marc Denecker, Maurice Bruynooghe, Victor Marek
Venue:ACM Transactions on Computational Logic