Local First Search — A New Paradigm for Partial Order Reductions | Publicación