Boolean equation solving as graph traversal. - Brian Herlihy; Peter Schachte; Harald Søndergaard (CATS, 2006)

Un-Kleene Boolean equation Solving. - Brian Herlihy; Peter Schachte; Harald Søndergaard (Int. J. Found. Comput. Sci., 2007)