@unpublished{internship-termination,
  author = {Lucas Seguinot and David Monniaux and Laure Gonnord},
  title = {Synthesis of ranking functions using extremal counterexamples},
  note = {Under submission},
  year = {2013},
}