@MastersThesis{   DonnachaOisnKidney,
  Author        = "Kidney, Donnacha Ois{\'\i}n",
  date-added    = "2019-12-17 14:26:50 +0100",
  date-modified = "2019-12-26 14:15:29 +0100",
  School        = "University College Cork",
  Title         = "Automatically and Efficiently Illustrating Polynomial Equalities in Agda",
  Year          = "2019",
  File          = "Automatically and E!ciently Illustrating Polynomial Equalities in Agda - bsc-thesis - a - a - u.pdf"
}

@MastersThesis{ DonnachaOisnKidney, Author = "Kidney, Donnacha Ois{\'\i}n", date-added = "2019-12-17 14:26:50 +0100", date-modified = "2019-12-26 14:15:29 +0100", School = "University College Cork", Title = "Automatically and Efficiently Illustrating Polynomial Equalities in Agda", Year = "2019", File = "Automatically and E!ciently Illustrating Polynomial Equalities in Agda - bsc-thesis - a - a - u.pdf" }