@article{lmcs:4321, title = {Definable isomorphism problem}, author = {Khadijeh Keshvardoost and Bartek Klin and Sławomir Lasota and Joanna Ochremiak and Szymon Toruńczyk}, url = {https://lmcs.episciences.org/4321}, doi = {10.23638/LMCS-15(4:14)2019}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 15, Issue 4}, eid = 14, year = {2019}, month = {Dec}, keywords = {Computer Science - Logic in Computer Science}, }