@MastersThesis{Zha08,
    Author       = "Zhang, X.",
    Year         = "2008",
    Title        = "{Using LEO-II to Prove Properties of an Explicit
                    Substitution M-set Model}",
    School       = "Saarland University",
    Address      = "Saarbruecken, Germany",
    Comment      = "TPTPRef"
}