Damien Pous, Jurriaan Rot, Jana Wagemaker: On Tools for Completeness of Kleene Algebra with Hypotheses. RAMiCS 2021: 378-395