@article{86e42af9249b4dafbede410b073f1b30,
title = "Obtaining Memory Efficient Solutions to Boolean Equation Systems",
keywords = "algorithm, boolean equation systems, memory efficient resolution, space complexity, algorithm, boolean equation systems, memory efficient resolution, space complexity, algorithm, boolean equation systems, memory efficient resolution, space complexity",
author = "Misa Kein{\"a}nen",
year = "2005",
language = "English",
volume = "133",
journal = "Electronic Notes in Theoretical Computer Science",
publisher = "Elsevier",
}