Volker Haarslev

University of Hamburg , Computer Science Department Vogt-Kölln-Str. 30 , 22527 Hamburg , Germany

1 paper in the IJCAI proceedings

IJCAI 2001