Search: Std.-/normalization, no datatype, no paper type, Churches, T, 2002, n/a