Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs.

Gerhard Brewka, Ilkka Niemel, Tommi Syrjnen

Browse the full JELIA paper archive.