@techreport{Hofmann13Solvers,
  author = {Martin Hofmann and Aleksandr Karbyshev and Helmut Seidl},
  title = {On the {V}erification of {L}ocal {G}eneric {S}olvers},
  year = 2013,
  publisher = {Technische Universit\"at M\"unchen},
  doi = {10.13140/RG.2.1.5111.0243},
}