Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions | Publicación