Möller MO, Alur R. Heuristics for Hierarchical Partitioning with Application to Model Checking. BRICS [Internet]. 2000 Aug. 1 [cited 2024 Apr. 19];7(21). Available from: https://tidsskrift.dk/brics/article/view/20148