@inproceedings{4d8ae7244383427991b860ccaf696f25,
title = "Computer Algebra meets Automated Reasoning: Integrating Maple and PVS",
author = "Adams, \{A A\} and Dunstan, \{M N\} and H Gottliebsen and Kelsey, \{Thomas William\} and U Martin and S Owre",
note = "14th International Conference on Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science",
year = "2001",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer-Verlag",
pages = "27--42",
booktitle = "Proceedings of Theorem Proving in Higher Order Logics",
address = "Germany",
}