@misc{indiciae8f791fb18467,
  title = {Correct and Efficient Antichain Algorithms for Refinement Checking},
  author = {Maurice Laveaux and Jan Friso Groote and Tim A. C. Willemse},
  year = {2021},
  doi = {10.23638/lmcs-17(1:8)2021},
  url = {https://arxiv.org/abs/1902.09880},
  note = {Source identifier: 1902.09880}
}