Industrial-Size Scheduling with ASP+CP
Classical negation in logic programs and disjunctive databases