- Theory Comput. Syst. 50(4):621-640 (2012)
- Theory Comput. Syst. 50(4):579-588 (2012)
- Theory Comput. Syst. 50(2):354-369 (2012)
- Theory Comput. Syst. 50(2):370-386 (2012)
- CoRR (2011)
- CoRR (2011)
- J. Symb. Log. 72(3):1003-1018 (2007)
- J. Symb. Log. 74(1):201-215 (2009)
- J. Symb. Log. 65(4):1725-1748 (2000)
- J. Symb. Log. 66(4):1543-1560 (2001)
- J. Symb. Log. 65(1):1-18 (2000)
- Electr. Notes Theor. Comput. Sci. (2008)
- Theory Comput. Syst. 46(2):340-350 (2010)
- SIGACT News 32(2):14-15 (2001)
- SIGACT News 32(1):5-8 (2001)
- SIGACT News 30(1):2-4 (1999)
- CCA, volume 11 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2009)
- MFCS, volume 1113 of Lecture Notes in Computer Science, page 206-217. Springer, (1996)
- Math. Log. Q. 54(3):272-279 (2008)
- Math. Log. Q. 54(5):508-518 (2008)


author