TY  - RPRT
TI  - Computing minimal distinguishing Hennessy-Milner formulas is NP-hard, but variants are tractable
AU  - Jan Martens
AU  - Jan Friso Groote
PY  - 2023
UR  - https://arxiv.org/abs/2307.05265
ID  - 2307.05265
ER  -