Title: Strong reduction in combinatory logic
Subjects: Symbolic and mathematical Logic