Defining algorithmically presented structures in first order logic. - Nadim Kasymov; Nadira Karimova; Bakh Khoussainov (LICS, 2024)