A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization. - Richard Huybers; Alfons Laarman (VMCAI, 2019)