@phdthesis{KeinanenMisa-Keinanen:licthesis,
author = {Misa Kristian Kein\"anen},
month = {April},
school = {Helsinki University of Technology, Department of Computer Science and Engineering},
title = {Solving Boolean Equation Systems},
type = {Licentiate's Thesis},
year = {2005},
}