"Alternating Fixed Points in Boolean Equation Systems as Preferred Stable ..."

K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics