"Thomas Wolter"@cs .