@Article{         Urquhart1999-URQTCO,
  Author        = "Urquhart, Alasdair",
  date-added    = "2017-07-26 09:53:48 +0000",
  date-modified = "2017-07-26 09:53:48 +0000",
  Journal       = "Journal of Symbolic Logic",
  Number        = "4",
  Pages         = "1774--1802",
  Publisher     = "Association for Symbolic Logic",
  Title         = "The Complexity of Decision Procedures in Relevance Logic II",
  Volume        = "64",
  Year          = "1999",
  File          = "Pages from 10.1007\%2F978-94-009-0681-5 (0) - a - a - y.pdf"
}

@Article{ Urquhart1999-URQTCO, Author = "Urquhart, Alasdair", date-added = "2017-07-26 09:53:48 +0000", date-modified = "2017-07-26 09:53:48 +0000", Journal = "Journal of Symbolic Logic", Number = "4", Pages = "1774--1802", Publisher = "Association for Symbolic Logic", Title = "The Complexity of Decision Procedures in Relevance Logic II", Volume = "64", Year = "1999", File = "Pages from 10.1007\%2F978-94-009-0681-5 (0) - a - a - y.pdf" }