A Formal Analysis of RANKING.

Mohammad Abdulaziz, Christoph Madlener

Browse the full ITP paper archive.