Decision Procedure for Synchronous Kleene Algebra - Horta, Luís Pedro Arrojado da (2018)