Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points.

Jan Friso Groote, Misa Keinnen

Browse the full TACAS paper archive.