A Deductive System for Non-Monotonic Reasoning (1997)

by T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello
Venue:In Proc. LPNMR-97, LNCS 1265