TY - RPRT TI - A Formal Analysis of RANKING AU - Mohammad Abdulaziz AU - Christoph Madlener PY - 2023 UR - https://arxiv.org/abs/2302.13747 ID - 2302.13747 ER -