@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", }