A non-recursive resolver.