@PhdThesis{       nakamuraphd,
  Author        = "Nakamura, Yoshiki",
  date-added    = "2022-02-21 10:56:19 +0100",
  date-modified = "2022-02-21 10:56:48 +0100",
  Title         = "The Equational Theory of the Composition and Complement Calculus of Relations Is Decidable",
  Year          = "2019",
  File          = "The Equational Theory of the Composition and Complement Calculus of Relations Is Decidable - download.pdf"
}

@PhdThesis{ nakamuraphd, Author = "Nakamura, Yoshiki", date-added = "2022-02-21 10:56:19 +0100", date-modified = "2022-02-21 10:56:48 +0100", Title = "The Equational Theory of the Composition and Complement Calculus of Relations Is Decidable", Year = "2019", File = "The Equational Theory of the Composition and Complement Calculus of Relations Is Decidable - download.pdf" }