Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points

Reference:

Jan Friso Groote and Misa Keinänen. Solving disjunctive/conjunctive boolean equation systems with alternating fixed points. Technical Report SEN-R0310, Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam, Amsterdam, Netherlands, December 2003.

Suggested BibTeX entry:

@techreport{gro:kei,
    address = {Amsterdam, Netherlands},
    author = {Jan Friso Groote and Misa Kein{\"a}nen},
    institution = {Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam},
    month = {December},
    number = {SEN-R0310},
    title = {Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points},
    type = {Technical Report},
    year = {2003},
}

This work is not available online here.