@inproceedings{inproceedingsd83e72bf, title = {Representing rational McNaughton functions via MODSAT relativisation}, author = {Preto, Sandro and Finger, Marcelo}, year = {2019}, publisher = {EDUFCG}, booktitle = {Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL)} }