@inproceedings{OPUS4-59204,
  title     = {Participants' Proceedings of the 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003},
  editor    = {Rudolf Berghammer and Bernhard M{\"o}ller and Georg Struth},
  year      = {2019},
}