@inproceedings{dunstan2001computer,
  title = "Computer algebra meets automated theorem proving: A maple-pvs interface",
  author = "Dunstan, Martin and Gottliebsen, Hanne and Kelsey, Tom and Martin, Ursula",
  year = "2001",
  booktitle = "Proceedings of the Calculemus Workshop",
}