@phdthesis{KeinanenLic,
author = {Misa Kein{\"a}nen},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
title = {Solving Boolean Equation Systems},
type = {Licentiate's thesis},
year = {2005},
}