Practical Partial Order Reduction for CSP | Publicación