@mastersthesis{
    sunt,
    author = "Sun, Tao",
    owner = "OEK",
    school = "Aalto University",
    year = "2012",
    address = "Espoo, Finland",
    title = "Parameter Selection in Translation-Based Approaches to Answer Set Solving"
}