Encodings for equilibrium logic and logic programs with nested expressions (2001)

by David Pearce, Hans Tompits, Stefan Woltran
Venue:In Proceedings of Portuguese Conference on Artificial Intelligence (EPIA