Separating Automatic Relations.

Pablo Barcel, Diego Figueira, Rmi Morvan

Browse the full MFCS paper archive.