@MastersThesis{She06,
    Author       = "Shen, W.",
    Year         = "2006",
    Title        = "{Automated Proofs of Equivalence of Modal Logic Systems}",
    School       = "Department of Computer Science, University of Miami",
    Address      = "Miami, USA",
    Comment      = "TPTPRef,TPTPCite"
}