@TechReport{Kahl-Schmidt-2000a,
  author      = {Wolfram Kahl and Gunther Schmidt},
  title       = {Exploring (Finite) {Relation Algebras}
                 Using {Tools} Written in {Haskell}},
  institution = {Fakult\"at f\"ur Informatik,
                 Universit\"at der Bundeswehr M\"unchen},
  number      = {2000-02},
  year        = 2000,
  month       = OCT,
  URL         = {http://ist.unibw-muenchen.de/Publications/TR/2000-02/}
}