Declarative problem-solving using the DLV system (2000)

by T Eiter, W Faber, N Leone, G Pfeifer
Venue:Logic-Based Artificial Intelligence