@Article{Ong2013,
  author =       "L. Ong and C. Areces and S. Figueira and R. de
                 Queiroz",
  journal =      "The Bulletin of Symbolic Logic",
  title =        "19th {W}orkshop on {L}ogic, {L}anguage, {I}nformation
                 and {C}omputation {(WoLLIC 2012)}",
  year =         "2013",
  number =       "3",
  pages =        "425--426",
  volume =       "19",
  abstract =     "A report on WoLLIC 2013.",
  owner =        "areces",
  timestamp =    "2016.10.01",
}