Characterising equilibrium logic and nested logic programs: Reductions and complexity

Add code
Jun 13, 2009

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: