Dot-depth three, return of the J-class.

Thomas Place, Marc Zeitoun

Browse the full LICS paper archive.