"Finding stable models via quantum computation."

David A. Meyer, James Pommersheim, Jeffrey B. Remmel (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics