Schwichtenberg-Style Lambda Definability Is Undecidable. - Jan Malolepszy; Malgorzata Moczurad; Marek Zaionc (TLCA, 1997)