The dlv system for knowledge representation and reasoning (2006)

by N Leone, G Pfeifer, W Faber, T Eiter, G Gottlob, S Perri, F Scarcello
Venue:ACM Transactions on Computer Logic