Interactive Visualization of Saturation Attempts in Vampire. - Bernhard Gleiss; Laura Kovács; Lena Schnedlitz (IFM, 2019)