A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling
Splitting a Logic Program