@inproceedings{AKL24,
        author      =   "B. Abu Radi and O. Kupferman and O. Leshkowitz",
        title        = {Easy Complementation of History-Deterministic B{\"{u}}chi Automata},       
        booktitle   =   atva24,
        series    = {Lecture Notes in Computer Science},       
        volume       = {15054},
        pages        = {67--88},
        publisher    = {Springer},
        year        =   2024
}