Filippo Bonchi, Ugo Montanari: Minimization Algorithm for Symbolic Bisimilarity. ESOP 2009: 267-284