EFFICIENT IMPLEMENTATION OF THE STABLE MODELSEMANTICS FOR NORMAL