No Need to Be Stubborn: Partial-Order Reduction for GPU Model Checking Revisited. - Rik van Spreuwel; Anton Wijs (ISoLA (3), 2024)