Exact Pattern-Aware Extraction for Equality Saturation via Bounded-Depth Tree Covering. - Cheng, Zi; Yuan, Mengting; Zhang, Lefei (Algorithms, 2026)