A Deductive System for Nonmonotonic Reasoning (1997)

by Thomas Eiter , Nicola Leone
Venue:In
Citations:102 - 20 self