A deductive system for nonmonotonic reasoning, in: (1997)

by T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello
Venue:Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’97),