EasyChair Smart Slide
Translating LPOD and CR-Prolog2 into Standard Answer Set Programs
Translating LPOD and CR-Prolog2 into Standard Answer Set Programs