TY  - RPRT
TI  - Confluence of an extension of Combinatory Logic by Boolean constants
AU  - Łukasz Czajka
PY  - 2017
DO  - 10.4230/lipics.fscd.2017.14
UR  - https://arxiv.org/abs/1306.2069
ID  - 1306.2069
ER  -