"Skeptical Reasoning in FC-Normal Logic Programs is P11-complete."

Robert Saxon Milnikel (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics