TY  - RPRT
TI  - A decision procedure for linear "big O" equations
AU  - Jeremy Avigad
AU  - Kevin Donnelly
PY  - 2007
UR  - https://arxiv.org/abs/cs/0701073
ID  - cs/0701073
ER  -