A Polynomial-Cost Non-determinism Analysis | Publicación