WBO-resolution