@misc{indiciaebfa845a5e77f,
  title = {Checking Properties within Fairness and Behavior Abstractions},
  author = {Ulrich Ultes-Nitsche and Pierre Wolper},
  year = {2001},
  url = {https://arxiv.org/abs/cs/0101017},
  note = {Source identifier: cs/0101017}
}