@inproceedings{CDKV2020, 
author = {Chen, Shaoshi and Du, Lixin and Kauers, Manuel and Verron, Thibaut}, 
title = {Integral Bases for P-Recursive Sequences}, 
year = {2020}, 
isbn = {9781450371001}, 
publisher = {Association for Computing Machinery}, 
address = {New York, NY, USA}, 
url = {https://doi.org/10.1145/3373207.3404004}, 
doi = {10.1145/3373207.3404004}, 
booktitle = {Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation}, 
pages = {91¨C98}, 
numpages = {8}, 
location = {Kalamata, Greece}, 
series = {ISSAC ¡¯20} }