Zbigniew Lonc Miroslaw Truszczynski Computing stable models: worst-case performance estimates. 193-231 2004 4 TPLP 1-2 db/journals/tplp/tplp4.html#LoncT04