Last update: Sun Mar 31 03:12:29 MDT 2019
@Article{Abdulla:2014:MRM, author = "Parosh Aziz Abdulla and Yu-Fang Chen and Luk{\'a}s Hol{\'\i}k and Tom{\'a}s Vojnar", title = "Mediating for reduction (on minimizing alternating {B{\"u}chi} automata)", journal = j-THEOR-COMP-SCI, volume = "552", number = "??", pages = "26--43", day = "2", month = oct, year = "2014", CODEN = "TCSCDI", ISSN = "0304-3975 (print), 1879-2294 (electronic)", ISSN-L = "0304-3975", bibdate = "Wed Sep 17 06:42:19 MDT 2014", bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs2010.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0304397514005817", acknowledgement = ack-nhfb, fjournal = "Theoretical Computer Science", journal-URL = "http://www.sciencedirect.com/science/journal/03043975/", }