@Inproceedings{EPTCS386.8,
  author    = {Fazekas, Szilárd Zsolt and Seki, Shinnosuke},
  year      = {2023},
  title     = {Freezing 1-Tag Systems with States},
  editor    = {Gazdag, Zsolt and Iv\'an, Szabolcs and Kov\'asznai, Gergely},
  booktitle = {{\rm Proceedings of the 16th International Conference on}
               Automata and Formal Languages,
               {\rm Eger, Hungary, September 5-7, 2023}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {386},
  publisher = {Open Publishing Association},
  pages     = {82-95},
  doi       = {10.4204/EPTCS.386.8},
}