Andrew Adams Martin Dunstan Hanne Gottliebsen Tom Kelsey Ursula Martin Sam Owre Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS. 27-42 2001 conf/tphol/2001 TPHOLs http://link.springer.de/link/service/series/0558/bibs/2152/21520027.htm db/conf/tphol/tphol2001.html#AdamsDGKMO01