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