Mixed Integer Programming Methods for Computing Non-Monotonic Deductive Databases (1994)

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