Automatic evaluation of UV and R 2 terms for beyond the Standard Model Lagrangians: A proof-of-principle - CPC, Mendeley (Mendeley, 2015)