The author's other publications:

http://theory.cs.uni-bonn.de/blum/PubBlum.var