Henk Barendregt Jan A. Bergstra Jan Willem Klop Henri Volken Degrees of Sensible Lambda Theories. 45-55 1978 43 J. Symb. Log. 1 db/journals/jsyml/jsyml43.html#BarendregtBKV78