@InProceedings{   Kobayashi:FSTTCS:2018,
  Author        = "Asada, Kazuyuki and Kobayashi, Naoki",
  BookTitle     = "Proc. of FSTTCS'18",
  date-added    = "2018-12-20 10:37:17 +0100",
  date-modified = "2018-12-20 10:40:11 +0100",
  Title         = "Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered",
  Year          = "2018",
  File          = "fsttcs18 (0) - a - a - f.pdf",
  file-2        = "LIPIcs-FSTTCS-2018-14 (0) (0) - a - a - f.pdf"
}

@InProceedings{ Kobayashi:FSTTCS:2018, Author = "Asada, Kazuyuki and Kobayashi, Naoki", BookTitle = "Proc. of FSTTCS'18", date-added = "2018-12-20 10:37:17 +0100", date-modified = "2018-12-20 10:40:11 +0100", Title = "Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered", Year = "2018", File = "fsttcs18 (0) - a - a - f.pdf", file-2 = "LIPIcs-FSTTCS-2018-14 (0) (0) - a - a - f.pdf" }