TY  - RPRT
TI  - Interactive Visualization of Saturation Attempts in Vampire
AU  - Bernhard Gleiss
AU  - Laura Kovacs
AU  - Lena Schnedlitz
PY  - 2020
DO  - 10.1007/978-3-030-34968-4_28
UR  - https://arxiv.org/abs/2001.04100
ID  - 2001.04100
ER  -