First-Order Expressibility and Boundedness of Disjunctive Logic Programs

Open in new window