On the complexity of identifying Head Elementary Set Free programs

Fabio Fassetti, Luigi Palopoli

Head-elementary-set-free programs were proposed in (Gebser et al. 2007) and shown to generalize over head-cycle-free programs while retaining their nice properties. It was left as…