@Unpublished{     Gordon,
  Author        = "Gordon, Mike",
  date-added    = "2014-01-14 16:21:47 +0000",
  date-modified = "2014-01-14 16:21:52 +0000",
  Title         = "Linking higher order logic to binary decision diagrams",
  File          = "Linking higher order logic to binary decision diagrams - Gordon (0) (0) - a - a - t.pdf"
}

@Unpublished{ Gordon, Author = "Gordon, Mike", date-added = "2014-01-14 16:21:47 +0000", date-modified = "2014-01-14 16:21:52 +0000", Title = "Linking higher order logic to binary decision diagrams", File = "Linking higher order logic to binary decision diagrams - Gordon (0) (0) - a - a - t.pdf" }