@inproceedings{adams1999automated,
  title = "Automated theorem proving in support of computer algebra: symbolic definite integration as a case study",
  author = "Adams, Andrew A and Gottliebsen, Hanne and Linton, SA and Martin, Ursula",
  year = "1999",
  booktitle = "Proceedings of the 1999 international symposium on Symbolic and algebraic computation",
  organization = "ACM",
  pages = "253--260",
}