Papers tagged arbiter problem