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