Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella. A new look at the automatic synthesis of linear ranking functions. Inf. Comput., 215:47-67, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.