[PLDI'23] Recursive State Machine Guided Graph Folding for Context-Free Language Reachability

ACM SIGPLAN - [PLDI'23] Recursive State Machine Guided Graph Folding for Context-Free Language Reachability