Journal of the ACM Bibliography
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.
[BibTeX entry]
Selected papers that cite this one
- Vadim Kagan, Anil Nerode, and V. S. Subrahmanian. Computing minimal models
by partial instantiation. Theoretical Computer Science,
155(1):157-177, 26 February 1996.
- Nicola Leone, Pasquale Rullo, and Francesco Scarcello. Disjunctive stable models: Unfounded
sets, fixpoint semantics, and computation. Information and
Computation, 135(2):69-112, 15 June 1997.
- Sherry Marcus and V. S. Subrahmanian. Foundations of multimedia database
systems. Journal of the ACM, 43(3):474-523, May 1996.
Shortcuts: