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