@misc{indiciae8ddc893d3f70,
  title = {Antichains for the Automata-Based Approach to Model-Checking},
  author = {Laurent Doyen and Jean-Francois Raskin},
  year = {2009},
  doi = {10.2168/lmcs-5(1:5)2009},
  url = {https://arxiv.org/abs/0902.3958},
  note = {Source identifier: 0902.3958}
}