The USA-Advisor: A Case Study in Answer Set Programming.

Michael Gelfond

Browse the full JELIA paper archive.