Comparing alternative solutions for unfounded set propagation in ASP