Anil Nerode
Colin Bell, Anil Nerode, Raymond T. Ng, and V. S. Subrahmanian.
Mixed integer programming methods for computing nonmonotonic deductive databases.
Journal of the ACM
, 41(6):1178-1215, November 1994.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database