WFS + branch and bound = stable models | IEEE Journals & Magazine | IEEE Xplore