@article{Godoy_2013,
    doi = {10.1145/2508028.2501600},
    url = {https://doi.org/10.1145%2F2508028.2501600},
    year = {2013},
    month = {aug},
    publisher = {Association for Computing Machinery ({ACM})},
    volume = {60},
    number = {4},
    pages = {1--44},
    author = {Guillem Godoy and Omer Gim{\'{e}}nez},
    title = {The {HOM} problem is decidable},
    journal = {Journal of the {ACM}},
    date-added = {2023-11-7 9:29:42 +0100}
}

@article{Godoy_2013, doi = {10.1145/2508028.2501600}, url = {https://doi.org/10.1145%2F2508028.2501600}, year = {2013}, month = {aug}, publisher = {Association for Computing Machinery ({ACM})}, volume = {60}, number = {4}, pages = {1--44}, author = {Guillem Godoy and Omer Gim{\'{e}}nez}, title = {The {HOM} problem is decidable}, journal = {Journal of the {ACM}}, date-added = {2023-11-7 9:29:42 +0100} }