TY  - RPRT
TI  - Proof mining and effective bounds in differential polynomial rings
AU  - William Simmons
AU  - Henry Towsner
PY  - 2018
UR  - https://arxiv.org/abs/1609.07509
ID  - 1609.07509
ER  -