Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Browse the full RV paper archive.