Foundations of Disjunctive Logic Programming - Lobo, Jorge; Minker, Jack; Rajasekar, Arcot (Massachusetts Institute of Technology Cambridge Mass., 1992)
bibliography: pp.275-290 Τομεας Εφαρμογων και Θεμελιωσεων της Επιστημης των Υπολογιστων Εργαστηριο Συνδυαστικων Αλγοριθμων