@PhdThesis{       Alberti,
  Author        = "Alberti, Francisco J.",
  date-added    = "2014-01-07 11:05:49 +0000",
  date-modified = "2014-01-07 11:06:33 +0000",
  Keywords      = "linear logic and abstract machines",
  Title         = "An Abstract Machine Based on Linear Logic and Exiplicit Substitutions",
  Year          = "1997",
  File          = "An Abstract Machine Based on Linear Logic and Exiplicit Substitutions - Alberti (0) (0) - a - a - q.pdf"
}

@PhdThesis{ Alberti, Author = "Alberti, Francisco J.", date-added = "2014-01-07 11:05:49 +0000", date-modified = "2014-01-07 11:06:33 +0000", Keywords = "linear logic and abstract machines", Title = "An Abstract Machine Based on Linear Logic and Exiplicit Substitutions", Year = "1997", File = "An Abstract Machine Based on Linear Logic and Exiplicit Substitutions - Alberti (0) (0) - a - a - q.pdf" }