Logic programming revisited: Logic programs as inductive definitions (0)

by M Denecker, M Bruynooghe, V W Marek
Venue:ACM Transactions on Computational Logic