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

Published in ASE CCF-A, 2023