G.: Declarative Problem-Solving Using the DLV System (2000)

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