@article{CTT100893512,
  author = {釜野雅基 and 福田大我 and 南出靖彦},
  title = {非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定},
  journal = {コンピュータソフトウェア},
  year = 2023,
}

@inproceedings{CTT100875628,
  author = {釜野 雅基 and 福田 大我 and 南出 靖彦},
  title = {非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定},
  booktitle = {},
  year = 2021,
}