@Article{BagnaraMPZ12IC,
  Author = "R. Bagnara and F. Mesnard and A. Pescetti and E. Zaffanella",
  Title = "A new look at the automatic synthesis of linear ranking functions",
  Journal = "Information and Computation",
  Year = 2012,
  Volume = 216,
  Pages = "47-67",
  Publisher = "Elsevier",
}