Foundations of Disjunctive Logic Programming (1992)

by J Lobo, J Minker, A Rajasekar