Ernst-Erich Doberkat: Tracing Relations Probabilistically. RelMiCS 2003: 86-98