TY  - RPRT
TI  - Evaluation trees for proposition algebra
AU  - Jan A. Bergstra
AU  - Alban Ponse
PY  - 2015
DO  - 10.3390/math14020280
UR  - https://arxiv.org/abs/1504.08321
ID  - 1504.08321
ER  -