Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases. (1994)

by C Bell, A Nerode, R T Ng, V Subrahmanian
Venue:Journal of the ACM