Evgenii Kotelnikov Laura Kovács Giles Reger Andrei Voronkov The vampire and the FOOL. 37-48 2016 CPP https://doi.org/10.1145/2854065.2854071 conf/cpp/2016 db/conf/cpp/cpp2016.html#KotelnikovKRV16