Iterator Buchi resolution