@inproceedings{inproceedings5306cb18,
title   = {Gelfand-Kirillov conjecture as a first-order formula},
author = {Mariano, Hugo Luiz and Schwarz, João Fernando},
year = {2025},
publisher = {Sociedade Brasileira de Lógica - SBL},
booktitle   = {Brazilian Logic Conference - EBL 2025}
}