@phdthesis{
    Keinanen06,
    author = "Keinänen, Misa",
    school = "Helsinki University of Technology, Laboratory for Theoretical Computer Science Research Reports 105",
    title = "Techniques for Solving Boolean Equation Systems",
    url = "http://lib.tkk.fi/Diss/2006/isbn9512285460/",
    address = "Espoo, Finland",
    year = "2006",
    owner = "MM",
    impactfactor = "G4"
}