@misc{indiciaed3364cbb5d85,
  title = {On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach},
  author = {Renyan Feng and Erman Acar and Stefan Schlobach and Yisong Wang and Wanwei Liu},
  year = {2020},
  url = {https://arxiv.org/abs/2003.06492},
  note = {Source identifier: 2003.06492}
}