@article{gottliebsenusing,
  title = "Using the Maple-PVS Interface to Check the Continuity of Maple Expressions",
  author = "Gottliebsen, Hanne and Kelsey, Tom and Martin, Ursula",
}