Towards an efficient implementation of a tableau method for reactive safety specifications. - Ander Alonso; Montserrat Hermo; Josu Oca (J. Log. Algebraic Methods Program., 2025)