@Article{         Alama,
  Author        = "Alama, Jesse",
  date-added    = "2013-12-27 17:40:39 +0000",
  date-modified = "2013-12-27 17:40:48 +0000",
  EPrint        = "1312.4381",
  Keywords      = "paraconsistent logics",
  Month         = "12",
  Title         = "A machine-assisted view of paraconsistency",
  URL           = "http://arxiv.org/abs/1312.4381",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1312.4381",
  File          = "A machine-assisted view of paraconsistency - Alama (0) (0) - a - a - z.pdf"
}

@Article{ Alama, Author = "Alama, Jesse", date-added = "2013-12-27 17:40:39 +0000", date-modified = "2013-12-27 17:40:48 +0000", EPrint = "1312.4381", Keywords = "paraconsistent logics", Month = "12", Title = "A machine-assisted view of paraconsistency", URL = "http://arxiv.org/abs/1312.4381", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1312.4381", File = "A machine-assisted view of paraconsistency - Alama (0) (0) - a - a - z.pdf" }