@inproceedings{Creus_2012,
    title = {The HOM Problem is EXPTIME-Complete},
    url = {http://dx.doi.org/10.1109/LICS.2012.36},
    doi = {10.1109/lics.2012.36},
    booktitle = {2012 27th Annual IEEE Symposium on Logic in Computer Science},
    publisher = {IEEE},
    author = {Creus, Carles and Gascon, Adria and Godoy, Guillem and Ramos, Lander},
    year = {2012},
    month = {jun},
    date-added = {2023-11-25 9:50:38 +0100}
}

@inproceedings{Creus_2012, title = {The HOM Problem is EXPTIME-Complete}, url = {http://dx.doi.org/10.1109/LICS.2012.36}, doi = {10.1109/lics.2012.36}, booktitle = {2012 27th Annual IEEE Symposium on Logic in Computer Science}, publisher = {IEEE}, author = {Creus, Carles and Gascon, Adria and Godoy, Guillem and Ramos, Lander}, year = {2012}, month = {jun}, date-added = {2023-11-25 9:50:38 +0100} }