Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis

Published in ASE, 2023