%0 Journal Article %1 journals/ijfcs/FriedgutKV06 %A Friedgut, Ehud %A Kupferman, Orna %A Vardi, Moshe Y. %D 2006 %J Int. J. Found. Comput. Sci. %K dblp %N 4 %P 851-868 %T Büchi Complementation Made Tighter. %U http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs17.html#FriedgutKV06 %V 17

@article{journals/ijfcs/FriedgutKV06, added-at = {2006-09-04T00:00:00.000+0200}, author = {Friedgut, Ehud and Kupferman, Orna and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2dedacbcdec4c398f9baab7753d859a08/dblp}, date = {2006-09-04}, description = {dblp}, ee = {http://dx.doi.org/10.1142/S0129054106004145}, interhash = {ded099bd6d3d831e3c9f35798239c5ba}, intrahash = {dedacbcdec4c398f9baab7753d859a08}, journal = {Int. J. Found. Comput. Sci.}, keywords = {dblp}, number = 4, pages = {851-868}, timestamp = {2006-09-04T00:00:00.000+0200}, title = {Büchi Complementation Made Tighter.}, url = {http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs17.html#FriedgutKV06}, volume = 17, year = 2006 }