@article{Creus_2016,
    doi = {10.1137/140999104},
    url = {https://doi.org/10.1137%2F140999104},
    year = {2016},
    month = {jan},
    publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})},
    volume = {45},
    number = {4},
    pages = {1230--1260},
    author = {Carles Creus and Adri{\`{a}} Gasc{\'{o}}n and Guillem Godoy and Lander Ramos},
    title = {The {HOM} Problem is {EXPTIME}-Complete},
    journal = {{SIAM} Journal on Computing}
}

@article{Creus_2016, doi = {10.1137/140999104}, url = {https://doi.org/10.1137%2F140999104}, year = {2016}, month = {jan}, publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})}, volume = {45}, number = {4}, pages = {1230--1260}, author = {Carles Creus and Adri{`{a}} Gasc{\'{o}}n and Guillem Godoy and Lander Ramos}, title = {The {HOM} Problem is {EXPTIME}-Complete}, journal = {{SIAM} Journal on Computing} }