Decidability of Well Quasi-Order and Atomicity for Equivalence Relations Under Embedding Orderings. - Victoria Ironmonger; Nikola Ruskuc (Order, 2024)