Efficient Well-Definedness Checking.

dm Darvas, Farhad Mehta, Arsenii Rudich

Browse the full CADE paper archive.