Michael F. Singer, B. David Saunders, B. F. Caviness. An extension of Liouville's theorem on integration in finite terms. In Paul S. Wang, editor, SYMSAC 1981, Proceedings of the Symposium on Symbolic and Algebraic Manipulation, Snowbird, Utah, USA, August 5-7, 1981. pages 23-24, ACM, 1981. [doi]
@inproceedings{SingerSC81,
title = {An extension of Liouville's theorem on integration in finite terms},
author = {Michael F. Singer and B. David Saunders and B. F. Caviness},
year = {1981},
doi = {10.1145/800206.806366},
url = {http://doi.acm.org/10.1145/800206.806366},
researchr = {https://researchr.org/publication/SingerSC81},
cites = {0},
citedby = {0},
pages = {23-24},
booktitle = {SYMSAC 1981, Proceedings of the Symposium on Symbolic and Algebraic Manipulation, Snowbird, Utah, USA, August 5-7, 1981},
editor = {Paul S. Wang},
publisher = {ACM},
isbn = {0-89791-047-8},
}