Brian Herlihy Peter Schachte Harald Søndergaard Un-Kleene Boolean equation Solving. 227-250 2007 18 Int. J. Found. Comput. Sci. 2 http://dx.doi.org/10.1142/S0129054107004668 db/journals/ijfcs/ijfcs18.html#HerlihySS07