Pierre Lairez, Tristan Vaccon. On p-adic differential equations with separation of variables. ISSAC 2016, Jul 2016, Waterloo, Ontario, Canada. Proceedings of the 41st International Symposium on Symbolic and Algebraic Computation, 〈http://issac-symposium.org/2016/〉. 〈10.1145/2930889.2930912〉. 〈hal-01265226v2〉