Marc Bezem Jan Springintveld A Simple Proof of the Undecidability of Inhabitation in lambda<i>P</i>. 757-761 1996 6 J. Funct. Program. 5 db/journals/jfp/jfp6.html#BezemS96