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

}