The kernel strategy and its use for the study of combinatory logic (1993)

by L Wos
Venue:Journal of Automated Reasoning