selected publications academic article A very hard log-space counting class. Theoretical Computer Science. 107:3-30. 1993