Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs (2002)
Brewka Gerd , Niemelä Ilkka , Syrjänen Tommi