Institute for Applied Computer Science and Formal Description Methods (AIFB) University of Karlsruhe D-76128 Karlsruhe , Germany; FZI Research Center for Information Technologies Haid-und-Neu-Strasse 10-14 D-76131 Karlsruhe , Germany www.; fzi.
1 paper in the IJCAI proceedings