Answer set enumeration via assumption literals