@Inproceedings{EPTCS386.15,
  author    = {Nakamura, Yoshiki and Sin'ya, Ryoma},
  year      = {2023},
  title     = {Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements},
  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     = {185-199},
  doi       = {10.4204/EPTCS.386.15},
}