Algorithms for recognizing formulas with none-stable truth values in branching time logic.

Vladimir V. Rybakov

Browse the full KES paper archive.