Author: Germany) Tacas '9 1996  Passau