A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata

Parosh A. Abdulla, Lukáš Holík, Lisa Kaati, Tomáš Vojnar
2009 Electronical Notes in Theoretical Computer Science  
doi:10.1016/j.entcs.2009.08.026 fatcat:gekx27kk6zakbpbsz573hkydre