Foundations of disjunctive logic programming (1992)

by J Lobo, J Minker, A Rajasekar