Context-Free Language Reachability via Efficient Relation Chaining

Published in OOPSLA, 2026