Approximating the Stable Model Semantics is Hard

Georg Gottlob, Miroslaw Truszczynski. Approximating the Stable Model Semantics is Hard. Fundamenta Informaticae, 28(1-2):123-128, 1996.

Abstract

Abstract is missing.