@techreport{Nielson01Succinct,
  author = {Flemming Nielson and Helmut Seidl},
  title = {Succinct {S}olvers},
  year = 2001,
  series = {Forschungsbericht},
  volume = {01-12},
  publisher = {Universit\"at Trier, Mathematik/Informatik},
}