Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis | IEEE Conference Publication | IEEE Xplore