@Article{         SilvaRutten,
  Author        = "Silva, Alexandra and Rutten, Jan",
  date-added    = "2012-06-04 22:32:11 +0200",
  date-modified = "2012-06-04 22:32:34 +0200",
  Journal       = "Information and Computation",
  Title         = "A coinductive calculus of binary trees",
  Year          = "2010",
  File          = "A coinductive calculus of binary trees - Silva, Rutten (0) (0) - a - a - g.pdf"
}

@Article{ SilvaRutten, Author = "Silva, Alexandra and Rutten, Jan", date-added = "2012-06-04 22:32:11 +0200", date-modified = "2012-06-04 22:32:34 +0200", Journal = "Information and Computation", Title = "A coinductive calculus of binary trees", Year = "2010", File = "A coinductive calculus of binary trees - Silva, Rutten (0) (0) - a - a - g.pdf" }