@mastersthesis{
    bomansonj,
    author = "Bomanson, Jori",
    owner = "MN",
    school = "Aalto University",
    year = "2014",
    address = "Espoo, Finland",
    title = "Developing Efficient Encodings for Weighted Expressions in Answer Set Programs"
}