[PLDI24] [TOPLAS] CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams

ACM SIGPLAN - [PLDI24] [TOPLAS] CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams