Computing large and small stable models.

Miroslaw Truszczynski Computing large and small stable models. 1-23 2002 2 TPLP 1 db/journals/tplp/tplp2.html#Truszczynski02