Logic Programming Revisited: Logic Programs as Inductive De nitions (0)

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