Complex Preferences for Answer Set Optimization
Splitting a Logic Program