Decidability Under the Well-Founded Semantics. - Natalia Cherchago; Pascal Hitzler; Steffen Hölldobler (RR, 2007)