Stefan Klingenbeck
发表
Reiner Hähnle,
Stefan Klingenbeck,
1994,
CADE.
Peter Deussen,
Thomas Käufl,
Stefan Klingenbeck,
1995,
KORSO Book.
Stefan Klingenbeck,
1997,
DISKI.
Reiner Hähnle,
Stefan Klingenbeck,
Reiner Hähnle,
1996,
J. Log. Comput..
Thomas Käufl,
Stefan Klingenbeck,
1995
.
Stefan Klingenbeck,
1995,
TABLEAUX.