Walter Forkel, Tobias Philipp, Adrian Rebola-Pardo, Elias Werner: Fuzzing and Verifying RAT Refutations with Deletion Information. FLAIRS 2017: 190-193