@INPROCEEDINGS{mmps23,
  author = {D. Della Monica and A. Montanari and G. Puppis and P. Sala},
  title = {The Logic of Prefixes and Suffixes is Elementary under Homogeneity},
  booktitle = {Proceedings of the 38th Annual {ACM/IEEE} Symposium on Logic in Computer Science (LICS)},
  year = {2023},
  publisher = {IEEE Computer Society},
}