@article{martin2013applications,
  title = "Applications of real number theorem proving in PVS",
  author = "Martin, Ursula and others",
  year = "2013",
  journal = "Formal Asp. Comput.",
  number = "6",
  publisher = "Formal Asp. Comput.",
  volume = "25",
}