@Inproceedings{Reger2015cadeB,
author="Reger, Giles
and Suda, Martin
and Voronkov, Andrei",
editor="Felty, P. Amy
and Middeldorp, Aart",
title="Playing with AVATAR",
bookTitle="Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings",
year="2015",
publisher="Springer International Publishing",
pages="399--415",
}