"ML Typability is DEXTIME-Complete."

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics