@misc{indiciaeffaf0b3d23e9,
  title = {Temporal logic with predicate abstraction},
  author = {Alexei Lisitsa and Igor Potapov},
  year = {2004},
  url = {https://arxiv.org/abs/cs/0410072},
  note = {Source identifier: cs/0410072}
}