A Mathematician Looks at Answer Set Programming.

Jeffrey B. Remmel

Browse the full ISAIM paper archive.