Ralph Loader: Higher Order beta Matching is Undecidable. Log. J. IGPL 11(1): 51-68 (2003)