In a collection

- 2014
- [GO+14] Grädel E. et al.

- 2013
- [Ott13] Otto M.

- 2011
- [Ott11] Otto M.

- 2008
- [Koh08b] Kohlenbach U.
- [Koh08c] Kohlenbach U.
- [Koh08e] Kohlenbach U.

- 2007
- [BCL+07] Blumensath A. et al.

- 2006
- [GO+06] Goranko V. et al.
- [Ott06] Otto M.

- 2005
- [Koh05] Kohlenbach U.
- [Str05] Streicher T.

- 2004
- [Bur04] Burmeister P.
- [Bur04b] Burmeister P.

- 2002
- [BB+02] Berwanger D. et al.
- [BB+02b] Berwanger D. et al.
- [Koh02b] Kohlenbach U.

- 1998
- [HS+98] Hofmann M. et al.

Valid HTML 4.01!Valid CSS!