arXiv 2002-05-11 EN Computing stable models: worst-case performance estimates Lonc, Zbigniew · Truszczynski, Miroslaw
