Pawel Cholewinski Miroslaw Truszczynski Extremal Problems in Logic Programming and Stable Model Computation. 219-242 1999 38 J. Log. Program. 2 db/journals/jlp/jlp38.html#CholewinskiT99