@inproceedings{Kup07b,
    author    =   "O. Kupferman",
    title     =   "Tightening the exchange rate beteen automata",
    booktitle =    csl07,
    pages     = "?",
    series    = lncs,
    volume    = ?,
    publisher = springer,
    year      = 2007
}