@dblp

Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs.

, , and . JELIA, volume 2424 of Lecture Notes in Computer Science, page 444-455. Springer, (2002)

Links and resources

Tags