@misc{indiciaebbb694fa8a8b,
  title = {State Definition for Conflict Analysis with Four-valued Logic},
  author = {Yukiko Kato},
  year = {2022},
  doi = {10.1109/smc53654.2022.9945371},
  url = {https://arxiv.org/abs/2207.11733},
  note = {Source identifier: 2207.11733}
}