@article{DBLP:journals/fac/GottliebsenHLM13,
  title = "Applications of real number theorem proving in PVS",
  author = "Hanne Gottliebsen and Ruth Hardy and Olga Lightfoot and Ursula Martin",
  year = "2013",
  journal = "Formal Asp. Comput.",
  number = "6",
  pages = "993-1016",
  volume = "25",
}