@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",
}