Email Record: Foundations of disjunctive logic programming /