A unified approach for showing language containment and equivalence between various types of ω-automata (1990)

by E Clarke, A Browne, R Kurshan
Venue:in CAAP ’90