@inproceedings{
    GroKei:TACAS2004,
    editor = "Jensen, K. and Podelski, A.",
    author = {Groote, Jan Friso and Kein{\"a}nen, Misa},
    publisher = "Springer",
    title = "Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points",
    series = "Lecture Notes in Computer Science",
    booktitle = "Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2004)",
    year = "2004",
    month = "April",
    volume = "2988",
    flags = "SA-53695",
    address = "Barcelona, Spain",
    pages = "436--450"
}