Characterising equilibrium logic and nested logic programs: Reductions and complexity,
PEARCE, DAVID, TOMPITS, HANS, WOLTRAN, STEFANVolume:
9
Language:
english
Journal:
Theory and Practice of Logic Programming
DOI:
10.1017/s147106840999010x
Date:
September, 2009
File:
PDF, 370 KB
english, 2009