Rick Erkens, Jurriaan Rot, Bas Luttik: Up-to Techniques for Branching Bisimilarity. SOFSEM 2020: 285-297