@inproceedings{
    ictac05,
    editor = "Hung, D.V. and Wirsing, M.",
    author = {Groote, Jan Friso and Kein{\"a}nen, Misa},
    publisher = "Springer-Verlag",
    title = "A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems",
    series = "Lecture Notes in Computer Science",
    booktitle = "Theoretical Aspects of Computing -- ICTAC 2005",
    month = "October",
    volume = "3722",
    flags = "SA-53695",
    year = "2005",
    pages = "545--558"
}