158
Voted
LPNMR
2005
Springer
16 years 7 days ago
2005
Springer
In this work we describe a system for determining strong equivalence of disjunctive non-ground datalog programs under the stable model semantics. The problem is tackled by reducing...