Reverse mathematics and order theoretic fixed point theorems. - Takashi Sato 003; Takeshi Yamazaki (Arch. Math. Log., 2017)