Making Streett Determinization Tight.

Cong Tian, Wensheng Wang, Zhenhua Duan

Browse the full LICS paper archive.