Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).

Oleg Kiselyov William E. Byrd Daniel P. Friedman Chung-chieh Shan Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). 64-80 2008 FLOPS http://dx.doi.org/10.1007/978-3-540-78969-7_7 conf/flops/2008 db/conf/flops/flops2008.html#KiselyovBFS08