Benno Stein 120-137 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3075&spage=120 2004 conf/birthday/2004richter Logic versus Approximation db/conf/birthday/richter2004.html#Stein04