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