Automata and Answer Set Programming.

Victor W. Marek, Jeffrey B. Remmel

Browse the full LFCS paper archive.