Confluence of an extension of Combinatory Logic by Boolean constants

Łukasz Czajka

We show confluence of a conditional term rewriting system CL-pc${}^1$, which is an extension of Combinatory Logic by Boolean constants. This solves problem 15 from the RTA list of…