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