@Article{         Hyvernat,
  Author        = "Hyvernat, Pierre",
  date-added    = "2013-12-27 17:44:03 +0000",
  date-modified = "2013-12-27 17:44:12 +0000",
  EPrint        = "1306.3833",
  Month         = "06",
  Title         = "The Size-Change Termination Principle for Constructor Based Languages",
  URL           = "http://arxiv.org/abs/1306.3833",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1306.3833",
  File          = "The Size-Change Termination Principle for Constructor Based Languages - Hyvernat (0) (0) - a - a - r.pdf"
}

@Article{ Hyvernat, Author = "Hyvernat, Pierre", date-added = "2013-12-27 17:44:03 +0000", date-modified = "2013-12-27 17:44:12 +0000", EPrint = "1306.3833", Month = "06", Title = "The Size-Change Termination Principle for Constructor Based Languages", URL = "http://arxiv.org/abs/1306.3833", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1306.3833", File = "The Size-Change Termination Principle for Constructor Based Languages - Hyvernat (0) (0) - a - a - r.pdf" }