A Formal Analysis of RANKING. - Mohammad Abdulaziz; Christoph Madlener (ITP, 2023)