The dlv system for knowledge representation and reasoning (0)

by Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
Venue:ACM Trans. Comput. Logic