Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability | Publicación