Quasi-optimal partial order reduction | Publicación