@inproceedings(conf/tacas/AbdullaBHKV08,
 author       = {P. A. Abdulla and A. Bouajjani and L. Hol{\'i}k and L. Kaati and T. Vojnar},
 year         = {2008},
 title        = {Computing Simulations over Tree Automata},
 booktitle    = {{TACAS'08}},
 series       = {LNCS},
 volume       = {4963},
 publisher    = {Springer},
 pages        = {93--108},
 doi          = {10.1007/978-3-540-78800-3\_8},
)
@article(BrandZ83,
 author       = {D. Brand and P. Zafiropulo},
 year         = {1983},
 title        = {On Communicating Finite-State Machines},
 journal      = {J. ACM},
 volume       = {30},
 number       = {2},
 pages        = {323--342},
 doi          = {10.1145/322374.322380},
)
@inproceedings(ChambartS08,
 author       = {P. Chambart and P. Schnoebelen},
 year         = {2008},
 title        = {Mixing Lossy and Perfect Fifo Channels},
 booktitle    = {CONCUR'08},
 series       = {LNCS},
 volume       = {5201},
 publisher    = {Springer},
 pages        = {340--355},
 doi          = {10.1007/978-3-540-85361-9\_28},
)
@inproceedings(Hen16,
 author       = {K. Chatterjee and Dvo\v{r}\'{a}k, W. and M. Henzinger and V. Loitzenbauer},
 year         = {2016},
 title        = {Conditionally Optimal Algorithms for Generalized B\"uchi Games},
 booktitle    = {MFCS'16},
 note         = {To appear},
)
@inproceedings(MayrC13,
 author       = {L. Clemente and R. Mayr},
 year         = {2013},
 title        = {Advanced automata minimization},
 booktitle    = {POPL'13},
 publisher    = {ACM},
 pages        = {63--74},
 doi          = {10.1145/2429069.2429079},
)
@book(DieR95,
 author       = {V. Diekert and G. Rozenberg},
 year         = {1995},
 title        = {The Book of Traces},
 publisher    = {World Scientific Publ.\ Co.},
 doi          = {10.1142/2563},
)
@inproceedings(lncs575*255,
 author       = {D. L. Dill and A. J. Hu and Wong-Toi, H.},
 year         = {1992},
 title        = {Checking for Language Inclusion Using Simulation Relations},
 booktitle    = {CAV'91},
 series       = {LNCS},
 volume       = {575},
 publisher    = {Springer},
 pages        = {255--265},
 doi          = {10.1007/3-540-55179-4\_25},
)
@inproceedings(conf/concur/Etessami02,
 author       = {K. Etessami},
 year         = {2002},
 title        = {A Hierarchy of Polynomial-Time Computable Simulations for Automata},
 booktitle    = {{CONCUR'02}},
 series       = {LNCS},
 volume       = {2421},
 publisher    = {Springer},
 pages        = {131--144},
 doi          = {10.1007/3-540-45694-5\_10},
)
@inproceedings(EtessamiWS01,
 author       = {K. Etessami and T. Wilke and R. A. Schuller},
 year         = {2001},
 title        = {Fair Simulation Relations, Parity Games, and State Space Reduction for {B}{\"u}chi Automata},
 booktitle    = {{ICALP'01}},
 series       = {LNCS},
 volume       = {2076},
 publisher    = {Springer},
 pages        = {694--707},
 doi          = {10.1007/3-540-48224-5\_57},
)
@article(journals/ijfcs/Finkel12,
 author       = {O. Finkel},
 year         = {2012},
 title        = {Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular {$\omega$}-Language},
 journal      = {Int. J. Found. Comp. Sci},
 volume       = {23},
 number       = {7},
 pages        = {1481--1498},
 doi          = {10.1142/S0129054112400606},
)
@article(journals/tcs/FritzW05,
 author       = {C. Fritz and T. Wilke},
 year         = {2005},
 title        = {Simulation relations for alternating {B}{\"u}chi automata},
 journal      = {TCS},
 volume       = {338},
 number       = {1-3},
 pages        = {275--314},
 doi          = {10.1016/j.tcs.2005.01.016},
)
@article(DBLP:journals/corr/abs-1209-0800,
 author       = {M. Holtmann and L. Kaiser and W. Thomas},
 year         = {2012},
 title        = {Degrees of Lookahead in Regular Infinite Games},
 journal      = {Logical Methods in Computer Science},
 volume       = {8},
 number       = {3},
 doi          = {10.2168/LMCS-8(3:24)2012},
)
@inproceedings(HutagalungLL:LATA13,
 author       = {M. Hutagalung and M. Lange and E. Lozes},
 year         = {2013},
 title        = {Revealing vs. Concealing: More Simulation Games for {B}{\"u}chi Inclusion},
 booktitle    = {{LATA'2013}},
 series       = {LNCS},
 volume       = {7810},
 publisher    = {Springer},
 pages        = {347--358},
 doi          = {10.1007/978-3-642-37064-9\_31},
)
@inproceedings(DBLP:journals/corr/HutagalungLL14,
 author       = {M. Hutagalung and M. Lange and E. Lozes},
 year         = {2014},
 title        = {Buffered Simulation Games for {B}{\"{u}}chi Automata},
 booktitle    = {{AFL'14}},
 series       = {{EPTCS}},
 volume       = {151},
 pages        = {286--300},
 doi          = {10.4204/EPTCS.151.20},
)
@article(Kle43,
 author       = {S.C. Kleene},
 year         = {1943},
 title        = {Recursive predicates and quantifiers},
 journal      = {Trans.\ Amer.\ Math.\ Soc.},
 volume       = {53},
 pages        = {41--73},
 doi          = {10.1090/S0002-9947-1943-0007371-8},
)
@article(Mart75,
 author       = {D. A. Martin},
 year         = {1975},
 title        = {Borel determinacy},
 journal      = {Ann. Math.},
 volume       = {102},
 pages        = {363--371},
 doi          = {10.2307/1971035},
)
@article(MulS85,
 author       = {D.E. Muller and P.E. Schupp},
 year         = {1985},
 title        = {The theory of ends, pushdown automata, and second-order logic},
 journal      = {Theoretical Computer Science},
 volume       = {37},
 number       = {1},
 pages        = {51--75},
 doi          = {10.1016/0304-3975(85)90087-8},
)
@book(Rog67,
 author       = {H. Rogers},
 year         = {1987},
 title        = {Theory of recursive functions and effective computability (Reprint from 1967)},
 publisher    = {{MIT} Press},
)
@inproceedings(Sak92,
 author       = {J. Sakarovitch},
 year         = {1992},
 title        = {The {"last"} decision problem for rational trace languages},
 booktitle    = {LATIN'92},
 series       = {LNCS 583},
 publisher    = {Springer},
 pages        = {460--473},
 doi          = {10.1007/BFb0023848},
)