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