- CoRR (2003)
- CoRR (2011)
- AFL, page 9-30. (2008)
- NCMA, volume 282 of books@ocg.at, page 15-36. Austrian Computer Society, (2011)
- NCMA, volume 256 of books@ocg.at, page 121-134. Austrian Computer Society, (2009)
- DCFS, page 23-37. Università degli Studi di Milano, Milan, Italy, (2005)
- FOCS, page 242-250. IEEE Computer Society, (2003)
- RAIRO - Theor. Inf. and Applic. 44(4):507-523 (2010)
- SIAM J. Comput. 20(3):484-498 (1991)
- SIAM J. Comput. 22(1):102-113 (1993)
- SIAM J. Comput. 28(1):325-340 (1998)
- Theor. Comput. Sci. 118(1):49-79 (1993)
- Theor. Comput. Sci. 62(3):235-249 (1988)
- DCFS, volume 6808 of Lecture Notes in Computer Science, page 80-92. Springer, (2011)
- Inf. Process. Lett. 42(1):25-27 (1992)
- Inf. Comput. 142(2):127-158 (1998)
- MFCS, volume 2136 of Lecture Notes in Computer Science, page 398-407. Springer, (2001)
- MFCS, volume 2136 of Lecture Notes in Computer Science, page 387-397. Springer, (2001)
- Inf. Comput. 209(7):1016-1025 (2011)
- Fundam. Inform. 104(1-2):55-69 (2010)


author