@MastersThesis{   baek,
  Author        = "Baek, Seul",
  date-added    = "2020-01-02 11:01:46 +0100",
  date-modified = "2020-01-02 11:03:10 +0100",
  Month         = "Jan2019",
  Title         = "Reflected Decision Procedures in Lean",
  File          = "Reflected Decision Procedures in Lean - baek\_ms\_thesis - a - a - a - e.pdf"
}

@MastersThesis{ baek, Author = "Baek, Seul", date-added = "2020-01-02 11:01:46 +0100", date-modified = "2020-01-02 11:03:10 +0100", Month = "Jan2019", Title = "Reflected Decision Procedures in Lean", File = "Reflected Decision Procedures in Lean - baek_ms_thesis - a - a - a - e.pdf" }