Publications by the researcher in collaboration with S. Eiter (1)