Extremal Problems in Logic Programming and Stable Model Computation.

Pawel Cholewinski, Miroslaw Truszczynski

Browse the full ICLP paper archive.