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

Robert Saxon Milnikel. Skeptical Reasoning in FC-Normal Logic Programs is P11-complete. Fundamenta Informaticae, 45(3):237-252, 2001.

Abstract

Abstract is missing.