TY  - RPRT
TI  - Correct and Efficient Antichain Algorithms for Refinement Checking
AU  - Maurice Laveaux
AU  - Jan Friso Groote
AU  - Tim A. C. Willemse
PY  - 2021
DO  - 10.23638/lmcs-17(1:8)2021
UR  - https://arxiv.org/abs/1902.09880
ID  - 1902.09880
ER  -