Foundations of disjunctive logic programming - Lobo, Jorge; Minker, Jack; Rajasekar, Arcot (London : The MIT Press, 1992)
Keywords: Logic programming (Computer science)