Emms, M. An Undecidability Result for Polymorphic Lambek Calculus. Proceedings of the AC 1995, 223-242.