@Article{         SrivathsanWalukiewicz,
  Author        = "Srivathsan, B and Walukiewicz, Igor",
  date-added    = "2012-06-11 13:17:07 +0200",
  date-modified = "2012-06-11 13:18:03 +0200",
  Journal       = "Information Processing Letters",
  Title         = "An alternate proof of Statman's finite completeness theorem",
  Year          = "2012",
  File          = "An alternate proof of Statman's finite completeness theorem - Srivathsan, Walukiewicz (0) (0) - a - a - h.pdf",
  file-2        = "An alternate proof of Statman's finite completeness theorem - Srivathsan, Walukiewicz (1) (0) - a - a - h.pdf",
  file-3        = "An alternate proof of Statman's finite completeness theorem - Srivathsan, Walukiewicz (2) (0) - a - a - h.pdf",
  file-4        = "An alternate proof of Statman's finite completeness theorem - Srivathsan, Walukiewicz (3) (0) - a - a - h.pdf"
}

@Article{ SrivathsanWalukiewicz, Author = "Srivathsan, B and Walukiewicz, Igor", date-added = "2012-06-11 13:17:07 +0200", date-modified = "2012-06-11 13:18:03 +0200", Journal = "Information Processing Letters", Title = "An alternate proof of Statman's finite completeness theorem", Year = "2012", File = "An alternate proof of Statman's finite completeness theorem - Srivathsan, Walukiewicz (0) (0) - a - a - h.pdf", file-2 = "An alternate proof of Statman's finite completeness theorem - Srivathsan, Walukiewicz (1) (0) - a - a - h.pdf", file-3 = "An alternate proof of Statman's finite completeness theorem - Srivathsan, Walukiewicz (2) (0) - a - a - h.pdf", file-4 = "An alternate proof of Statman's finite completeness theorem - Srivathsan, Walukiewicz (3) (0) - a - a - h.pdf" }