@inproceedings{
    fmics04:entcs,
    author = {Kein{\"a}nen, Misa},
    publisher = "Elsevier",
    title = "Obtaining Memory Efficient Solutions to Boolean Equation Systems",
    booktitle = "Electronic Notes in Theoretical Computer Science",
    month = "May",
    volume = "133",
    flags = "SA-53695",
    year = "2005",
    pages = "175--191"
}