Answer Set Programming without Unstratified Negation.

Ilkka Niemel

Browse the full ICLP paper archive.