@Article{         seki:maehara,
  Author        = "Seki, Takahiro",
  date-added    = "2022-02-04 14:33:50 +0100",
  date-modified = "2022-02-04 14:34:19 +0100",
  Journal       = "Bulletin of the Section of Logic",
  Number        = "3",
  Pages         = "147--154",
  Title         = "Some Remarks on Maehara's Method",
  Volume        = "30",
  Year          = "2001",
  File          = "SOME REMARKS ON MAEHARA’S METHOD - 30\_3\_3.pdf"
}

@Article{ seki:maehara, Author = "Seki, Takahiro", date-added = "2022-02-04 14:33:50 +0100", date-modified = "2022-02-04 14:34:19 +0100", Journal = "Bulletin of the Section of Logic", Number = "3", Pages = "147--154", Title = "Some Remarks on Maehara's Method", Volume = "30", Year = "2001", File = "SOME REMARKS ON MAEHARA’S METHOD - 30_3_3.pdf" }