"Efficient Well-Definedness Checking."

Ádám Darvas, Farhad Mehta, Arsenii Rudich (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics