A higher-order removal method - Chin, W.-N. (2014)
Higher-Order and Symbolic Computation